:: Research Centre > Formal Methods Research Group

Home | Contact
Important Links
Back to Research Centre


Research Groups

Formal Methods Research Group (FMRG)

Dr. Nazir Ahmad Zafar

• PhD Computer Science (Kyushu University, Japan)
• M.Phil Maths (Quaid-e-Azam University, Isl, Pk)
• M.Sc. Nuclear Engg. (Quaid-e-Azam University, Isl, Pk)
• M.Sc. Mathematics (Quaid-e-Azam University, Isl, Pk)

UCP-Ext: 121
Research Interests

• Software Engineering
• Systems Analysis and Design
• Formal Specifications
• Formal Approaches for Systems Development
• Applications of Graph Theory
• Integration of Formal/Informal Approaches
• Algorithms and Modeling
• Integration of Automata Theory and Formal Methods
• Analyzing and Modeling Safety Critical Systems
• Modeling using Crisp Theory and Fuzzy Logic
• Etc.


Prof. Nabeel Sabir Baloch


nabeel.bloch@ucp.edu.pk Research Interests

• Formal Methods
• Automata Theory
• Neural Networks
• Operating Systems


Farooq Zubairi

I completed my undergraduate degree from University of Central Punjab in 2005. Apart from being enrolled in the master of computer science, I am employed as a senior software engineer at Amaana (Pvt)Ltd.

faqoor.zubairi@gmail.com +92-333-4526702 Research Interests

My research interests include programming languages, formal methods and computer software design and architecture. My research thesis is formally modeling an ecommerce solution.

Faheem Sohail

I have an undergraduate degree in computer science from University of Central Punjab. I am currently enrolled in the master of computer science and also employed as a senior software engineer at Teclogix (Pvt) Ltd

Research Interests

My areas of interest include software design and architecture and formal modeling. My research thesis at UCP aims at applying object oriented design patterns to formal specifications for enterprise applications.

  Umbreen Mirza
  Research Interests


Hasnain Haider

Hasnain Haider is interested in applications of formal methods in computer science.

Research Interest

Over the eight years of experience this interest has generated both theoretical and experimental knowledge base activities in system analysis and design, formal specification, informal approaches, algorithms and design, programming languages and databases design. Currently he is involved in the development and application of formal methods specifically in safety critical systems. Currently I enrolled in MSCS leading to PhD at University of Central Punjab since Feb 2007.

  Shagufa Raiz

I am a student of MSCS Leading to Ph.D at University of Central Punjab Lahore. Prior to this I was awarded a BSCS as my undergraduate degree in 2005, from Allama Iqbal Open University, Islamabad.

Research Interests

My research interest is Discrete Mathematics, Database Systems and Operations Research. Currently I am going to start my research thesis in the area of Formal Methods

Asim Raza

He is currently enrolled in University of Central Punjab Lahore in MS Leading to PhD funded by HEC Pakistan. He did BS in Computer Science from the Allama Iqbal Open University Islamabad and also a Cisco Certified network Associate from APTECH Sargodha Cisco Certified Academy.

Research Interests

He emphasizes his excitement at working in Formal Methods with respect to Operating Systems, Network Design and Implementation.

Amir Ali

He is currently enrolled in MS Program in University of Central Punjab Lahore. He did MCS in Computer Science from the National University of Modern Languages Islamabad. He also has done M.Sc. (Pure Mathematics) from Baha’uddin Zakriya University Multan and PGD-IT from Quaid-e-Azam University Islamabad.

  Research Interests

He emphasizes his excitement at working in Formal Methods with respect to Computation Theory, Algebra, Discrete mathematics, and Operating Systems

  Javaria Khosa

Javaria is a student of BSCS at University of Central Punjab.

Research Interests

Her Interest/Research Areas are Web designing, Database Systems, Currently going to start her Final project of BSCS in the area of Formal Methods.

  Asma Sarvwer
  Research Interests


  Maryam Khalid
  Research Interests







University of Central Punjab