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
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
Languages and Skills
Active Collabrations
Consulting Experience