:: Research Centre > Formal Methods Research Group

Home | Contact
 
Home
People
Collaborations
Projects
Publications
Important Links
Back to Research Centre

 

Research Groups

   
Formal Methods Research Group (FMRG)
 
 
CHAIR


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)

dr.zafar@ucp.edu.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.

FACULTY MEMBERS


Prof. Nabeel Sabir Baloch

MS (CS), UCP, PK

nabeel.bloch@ucp.edu.pk Research Interests

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

 
STUDENTS


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

faheem.sohail@gmail.com
+92-300-9426130
 
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.

hasnaingilani@ucp.edu.pk
+92-300-6975008
 
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.

shagufta.riaz@ucp.edu.pk
+92-333-4070597
 
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.

asimraza@ucp.edu.pk
+92-345-8641660
 
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.

javaria@ucp.edu.pk
+92-333-4591250
 
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