+92 51 90852137 osman.hasan@seecs.edu.pk Visit Us

Meet The Team

Principal Investigator
Lab director of System Analysis and Verification (SAVe) Lab at NUST SEECS. Main research interests include Formal Verification, Interactive Theorem Proving and Higher-order Logic. PhD and post-doctoral fellowship from the Hardware verification group at Concordia University, Montreal Canada.
Dr. Saad Qaisar
Co-Principal Investigator
IoT/IoE, Fog Networking, Sensing and Comm., Network Functions Virtualization, Communication and Network Protocol Design, Network Performance Benchmarking, Multimedia Coding and Communication, SDNs.
Dr. Nasir Jalal
Dr. Nasir Jalal is a Charles D. Tenny Fellow at the School of Pharmaceutical Science and Technology, of Tianjin University, China. He has over 8 years of experience in cell and molecular biology research and specilaizes in cellular transfections and in-vitro maintenance of mamalian cell cultures.
Team Lead (Electrical & Mechanical)
Design, Analysis and Fabrication of Mechanical Equipment
Team Lead (Software)
I have over 6 years of software development experience and have led and managed software teams in multidisciplinary projects with applications in domains like biology, medicine and retail.
Samar Nasim
Team Lead (TeleCom & Sensor)
Leading and guiding Telecom & Sensors team through the project and making strategic decisions regarding various stages of the project.
Muhammad Usama Sardar
Professional Researchers/Developer (Electrical)
Mr. Muhammad Usama Sardar is silver medalist in his MS in Electrical Engineering from SEECS, NUST and currently working as Research Assistant at System Analysis and Verification (SAVe) Lab at SEECS, NUST.
Sana Mazahir
Professional Researchers/Developer (Mechanical & Software)
I received my MS and BE (President's Gold Medal) degrees in Electrical Engineering from NUST-College of E&ME, Rawalpindi, in 2013 and 2015, respectively. Since 2014, I have been working on different research projects at NUST and KAUST, Saudi Arabia. My research interests include Signal Processing, Communications, Digital Design and Approximate Computing.
Muhammad Salman Sadiq
Professional Researchers/Developer (Mechanical)
Zahid Abbas
Professional Researchers/Developer (TeleCom & Sensor)
I have completed B.Sc Electrical Engineering from HITEC University. Having 5 years of post qualification experience in hardware design and embedded system programming.
Asad Hameed
Research Associate (Electrical)
Master’s from NUST College of EME in electrical engineering and specialization in control systems. Having immense experience of more than 6 years in research and development domain. Responsibilities include sophisticated control algorithms development/implementation, embedded systems, HIL simulations etc.
Syed Hamid Rasool
Research Associate (TeleCom & Sensor)
Implementation of real-time live video streaming communication link for remote teleoperation.