A Personal Website for Contact and Portfolio.
Adnan is a Professional Developer working on Back End Development on Node.js. He has been studying Computer Science from Barani Institute of Information Technology starting in 2018.
He supports Open Source Software and the community that makes it possible. He also likes to work with functional programming and formalizing parts of mathematics in Theorem Prover’s such as Coq, Isabelle and Agda.
Adnan has a passion to uncover problems involved in Software Development and is constantly looking for Challenges. He is currently studying iOS Development with Swift.