Adnan Ahmed

Islamabad, Pakistan
Computer Scientist working on Formal Methods and Functional Programming