+92 51 90852137 osman.hassan@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
Consultant
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 lead 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)
Numan Muhammad
Professional Researchers/Developer (Software)
Computer Scientist, Former Pakistan Air Force employee, Developer with solid problem solving skills, 5 years of professional work experience in Big Data, Modeling and Simulation, 2D/3D Graphics, DotNet, Databases, Web expertise and much more.
Muhammad Usman Khan
Professional Researchers/Developer (TeleCom & Sensor)
MSCS, NUST SEECS with major in medical image analysis and applied computer vision. Handling tasks of Data Analytic and Machine Learning(ML) for this specific project, as well as developing an algorithm with the help of ML for “Content-Aware Dynamic Adaptive Streaming of Live Micro Cell Injection Videos to Optimize Quality of Experience”.
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.