Software Engineering Research Group



Mateen Ahmed Abbasi
Mateen Abbasi

Focal Person
Mussarat Karim Madiha Rehman Sameen Fatima Naila Aslam
Mussarat Karim Madiha Rehman Sameen Fatima Naila Aslam
Group Leader: Prof. Dr. Nazir Ahmad Zafar Focal Person: Mr. Mateen Ahmed Abbasi


The Software Engineering Research Group (SERG) is introduced to advance theory and practice and to bridge the gap between research and development in the field of software engineering and its application to other disciplines. The research focus is on development of methods, approaches, processes, tools and its applications to address the real World problems of the country using state-of-the-art techniques. Automata theory, formal languages, unified modeling language, algorithmic graph theory and discrete mathematics will be used for modeling and proof of correctness of the software systems.


The Software Engineering Research Groups (SERG) aims to:

  • Design and improve the software engineering methods, approaches and processes for development of softwaresystems.
  • Develop mathematical models and algorithms for developing and automating the complex and large scale software systems.
  • Integrate informal and formal approaches to support automated software engineering for developing the high quality software systems.
  • Apply model checking and theorem proving techniques to ensure quality of safety and mission critical systems.

Research Areas:

  • Software Engineering and Development Techniques
  • Quality Assurance and Testing Techniques
  • Formal Software Specification, Validation & Verification
  • Development of Programming Languages
  • Formal Methods and Safety Critical Systems
  • Complex Adaptive Systems
  • Model Checking and Theorem Proving
  • Integration of Approaches
  • Automation and Optimization Techniques
  • Algorithms and Graph Theory
  • Modeling and Simulation
  • Formal Analysis of Wireless Networks
  • Unified Modeling Language
  • Applications, e.g., Smart Cities, Smart Hospitals, Intelligent Transport Systems
Courses Offered:
Sr. # Course Code Course Name
1 COSC-5104 Algorithmic Game Theory
2 COSC-5114 Agent Oriented Software Engineering
3 COSC-5115 Object Oriented Software Engineering
4 COSC-5116 Advanced Software Project Management
5 COSC-6101 Formal Methods
6 COSC-6102 Model Checking
7 COSC-6103 Systems Modeling and Simulation
8 COSC-6104 Algorithmic Graph Theory
9 COSC-6110 Theory of Programming Languages
10 COSC-6111 Advanced Software Development
11 COSC-6112 Advanced Requirements Engineering
12 COSC-6113 Advanced Software Architecture
13 COSC-6114 Model Driven Software Engineering
14 COSC-6115 Advanced Software Quality Assurance
15 COSC-6120 Internet of Things
16 COSC-7101 Advanced Topics in Formal Methods
17 COSC-7102 Fuzzy Automata and Languages
18 COSC-7103 Software Validation and Verification
19 COSC-7104 Advanced Compiler Construction
20 COSC-7105 Mathematical Modeling
21 COSC-7106 Pattern Recognition