Welcome to my Web site!

 I am a doctoral candidate in the department of Computer Science at University of Central Florida. My research interests include formal specification and verification, security in multi-agent systems, and security protocols. I am working with Professor Ratan K. Guha.

 I am a part of Networking and Security lab of College of Engineering and Computer Science. My office is located in Engineering-3 building, lab-301. My email address is zfurqan@cs.ucf.edu. A brief description of my qualifications can be found in my curriculum vitae.