Nauman is a research scholar at City University of Science and Information Technology, Peshawar. His area of specialization in the Security Engineering group is Formal Verification of Security Protocols and Frameworks. He is responsible for handling concepts related to:

• Computer Simulated Modeling and Reasoning
• Logic and Set theory 
• Isabelle theorem prover 
• Formal verification using these tools and techniques

(p.s. That’s my intro. If there’s something wrong, maybe I can get some suggestions for improvement.)