user avatar
user avatar
user avatar
Adnan Ahmed
  • Member for 1 year, 5 months
  • Last seen more than a week ago
About

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.

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
4
bronze badges
Top tags
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %