Dr. Shahid Yousaf


Assistant Professor

Computer Science and IT

Biography

Dr. Shahid Yousaf earned his Ph.D. in computer science from The University of Lahore, Pakistan in 2022. He has completed his MS(CS) from University of Central Punjab (UCP), Pakistan in 2010. He is working with Department of Computer Science & Information technology, The University of Lahore since February 2011.He has various research publications in area of Formal Methods. His research expertise lies in the domain of Formal Modeling & Verification of complex systems and Context Aware Multi Agent Planning.

Education

SrNo. Year Degree Board/University
1 2022 PhD(CS) The University of Lahore
2 2010 MS(CS) University of Central Punjab
3 2007 BS(CS) University of Central Punjab

Experience

SrNo. From To Category Designation Organization
1 08-09-2015 till date Assistant Professor The University of Lahore
2 28-02-2011 07-09-2015 Lecturer The University of Lahore

Publications

SrNo. Title
1 Link Fault tolerable network topology for network services provision in disaster Area
2 Formal Modeling of ATC Signals using Z Notation
3 Formal Analysis of Arrival Procedure of Air Traffic Control System
4 Formal Verification and Validation of Aircraft Departure Process in Air Traffic Control System using VDM++
5 Formal Analysis of Departure Procedure of Air Traffic Control System
6 E-commerce in Pakistan: Growth Potentials and E-payment Solutions,

Conferences

Awards

Memberships

Courses Taught

SrNo. Type Title University Semester
1 Undergraduate Theory of Automata The University of Lahore Fall-17
2 Undergraduate Design & Analysis of Algorithms The University of Lahore Winter-17
3 Undergraduate Formal Methods In SE The University of Lahore Fall-16
4 Undergraduate Theory of Automata & Formal Languages The University of Lahore Winter-16
5 Undergraduate Theory of Automata The University of Lahore Winter-18
6 Undergraduate Theory of Automata The University of Lahore Fall-18
7 Undergraduate Theory of Automata The University of Lahore Winter-19
8 Undergraduate Theory of Automata The University of Lahore Fall-19
9 Undergraduate Design and Analysis of Algorithms The University of Lahore Winter-20
10 Graduate Advanced Algorithm Analysis The University of Lahore Winter-20
11 Undergraduate Theory of Automata The University of Lahore Fall-20
12 Undergraduate Theory of Automata The University of Lahore Winter-21

Project Supervisor

SrNo. Title From - To Organization Type
1 Easy Go 2013 - 2014 The University of Lahore Undergraduate FYP
2 Home Automation 2013 - 2014 The University of Lahore Undergraduate FYP
3 QIBLA DIRECTION AND NAMAZ TIMINGS 2015 - 2016 The University of Lahore Undergraduate FYP
4 Mobile Log Application 2017 - 2018 The University of Lahore Undergraduate FYP
5 online course Portal 2013 - 2014 The University of Lahore Undergaduate FYP
6 Online Customizable Notice Board 2017 - 2018 The University of Lahore Undergraduate FYP
7 All Brand Fashion Wear 2017 - 2018 The University of Lahore Undergraduate FYP
8 Trap Land 2017 - 2018 The University of Lahore Undergraduate FYP
9 HOD Management System 2019 - 2020 The University of Lahore Undergraduate FYP
10 Heath Arena 2020 - 2021 The University of Lahore Undergraduate FYP
11 Online Lecture Delivering Application 2020 - 2021 The University of Lahore Undergraduate FYP

Services

Books

Research Fundings

Extracurricular Activities

SrNo. Hobbies Interests

Languages and Skills

Active Collabrations

Consulting Experience