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-doc from the Hardware verification group at Concordia University, Montreal Canada.
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
Asad Hameed has a Masters degree in Electrical Engineering and
a experience of more than 7 years in Embedded System Programming, Control Algorithms
Development/Implementation, Electronic Hardware Design and Fabrication.
Team Lead (TeleCom/Sensor)
Ahsan is a professional Web application developer with 5+ year
of working experience in industry. Now a days working, he is working on the micro-cell injection project.
Rubab has been working as software developer; developing
interactive training exercises in SOFA along with documentation for the Micro-cell Injection project. She is
currently pursuing her post-graduation from SEECS, NUST.
Mechanical Engineer/Research Associate
Asad is a Mechanical Engineering graduate from Bahauddin
Zakariya University, Multan. He has a prior experience in installation, maintenance and operation of chip
Uzair secured his masters in Industrial Biotechnology with
specialization in Nanomedicine from National University of Science and Technology (NUST). He has also been
delivering lectures on Physiology, Immunology and Cell Biology to medical students since 2016.
Business Administrator specializing in Strategic
Marketing,Adverting & Promotion and Product Design & Activation,
and a Young Budding Entrepreneur employing demonstrated experience in Service Industry and Investing in Small
Maratib serves as key asset for representing MCI in business/industry environment