| || || |
DCS - Academic Staff
Shahid Yousaf 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.