user avatar
user avatar
user avatar
Adnan Ahmed
  • Member for 10 months
  • Last seen more than a month ago

Hi there, I'm an iOS programmer and functional programming enthusiast. During off hours I like to read Open Source code or formalize mathematics in Coq, Isabelle or Agda.

I have worked in several languages including: Java, Haskell, C++, .Net and Javascript. I have recently graduated with a Bachelor's in Computer Science (year 2022).

If you'd like to know more, Check out my Github or Twitter.

This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
bronze badges

This user hasn’t posted yet.