:: Research Centre > Petri Nets for System Engineering Research Group

Home | Contact
 
Home
People
Collaborations
Projects
Publications
Important Links

 

Research Groups

   
Software Engineering Research Group
 
CHAIR


Dr. Farooq Ahmad
Associate Professor
HEC Approved PhD Supervisor

• PhD (Computer Science), HIT, China
• M. Phil (Statistics), GC University, Lahore
• M.Sc. (Statistics), Punjab University, Lahore

dr.farooq@ucp.edu.pk Research Interests

• Petri net theory and applications
• Systems Analysis and Design
• Formal Specifications
• Formal Approaches for Systems Development
• Security of systems
• Discrete event systems
• Algorithms and Modeling
• Specification and verification of systems
• Coloured Petri Nets

FACULTY MEMBERS


Prof. Yaser Daanial Khan

Associate Professor
• PhD (C S) Scholar
• MS (CS), G.C University, Lahore
• M.Sc. (C S), I.I.U, Islamabad

ydk@ucp.edu.pk Research Interests

• Pattern Recognition
• Systems Analysis and Design
• Formal Specifications
• Formal Approaches for Systems Development
• Applications of Graph Theory

 
STUDENTS


Rana Naeem Akhtar Khan

• PhD (C S) Scholar
• MS (CS), University of Agriculture, Faisalabad
• BS (C S), A.I.O.U, Islamabad

Email: naeemkhan@ucp.edu.pk

naeemkhan@ucp.edu.pk Research Interests

• Wireless Networks
• Mobile Ad-Hoc Networks (MANETs)
• Wireless Mesh Networks (WMNs)
• Database Systems
• Data Mining
• Image Processing
• Formal Specifications
• Formal Approaches for Systems Development
• Coloured Petri Nets



Zahid Hussain Qasir

Lecturer
•PhD (C S) Scholar
•MS(CS,Arid Agriculture Rawalpindi

Email: zahidqaisar@yahoo.com

naeemkhan@ucp.edu.pk
 
Research Interests

• Software Engineering
• Systems Analysis and Design
• Formal Specifications
• Formal Approaches for Systems Development



Ayesha Sadiq

•MS (CS) Student


 
Research Interest

• Software Engineering
• Systems Analysis and Design
• Formal Specifications
• Formal Approaches for Systems Development


 

University of Central Punjab