Alumni

Postgraduate (PhD)
# Name Year Research Thesis
1 Waqar Ahmad PhD (2017) Formal Dependability Analysis using Higher-order-logic Theorem Proving PDF
Postgraduate (Masters)
# Name Year Research Thesis
1 Mahum Naseer MS (2018) Formal Verification of ECCs for Memories using ACL2 PDF
2 Ayesha Siddique MS (2018) On-sensor approximate computing for IoT based ultra-low power Body Area Networks PDF
3 Adnan Yaqoob Salik MS (2018) Formal Verification of Demand Response Management Systems in Smart Grid PDF
4 Talha Habib Peracha MS (2018) Formal Quantitative Fault Attack Vulnerability Evaluation of Sequential Circuits PDF
5 Ayesha Gauhar MS (2018) Towards the Higher-Order-Logic Formalization of MATLAB Functions PDF
6 Qurat Ul Ain MS (2018) Formal Timing Analysis of Digital Circuits PDF
7 Sara Zia MS (2018) Online Hardware Trojan Detection on SoC Integration Level: Leveraging Machine Learning PDF
8 Muhammad Umair MS (2017) Formalization of Traffic Flow Theory PDF
9 Sohaiba Iqbal MS (2017) Statistical Model Checking of Relief Supply Location and Distribution in Natural Disaster Management PDF
10 Amina Qureshi MS (2017) Formal Probabilistic Error Analysis of Approximate Adders PDF
11 Muhammd Kamran Ayub MS (2017) Statistical Error Analysis of Low Power Approximate Adders PDF
12 Sumbal Iqbal MS (2016) A Low Power and Runtime Reconfigurable Approximate Multiplier PDF
13 Muhammad Nouman MS (2016) Software Build History Dossier for Development and Testing PDF
14 Faiq Khalid MS (2016) Runtime Hardware Trojan Monitors through Modeling Burst Mode Communication PDF
15 Muhammad Usama Sardar MS (2015) Formal Verification of Distributed Thermal Management Systems using Theorem Proving PDF
16 Muhammad Saad Ayub MS (2015) Formal verification of Path Planning Algorithms PDF
17 Anam Zaman MS (2015) Formal verification of Network-on-Chip (NoC) Architectures PDF
18 Sumayya Shiraz MS (2014) Towards Automatic Formal Verification of Generic Combinational Circuits using HOL PDF
19 Muhammad Ahmad MS (2014) Formal Analysis of Steady State Error in Feedback Control Systems PDF
20 Muhammad Binyameen MS (2014) Formal Kinematics Analysis of Two Link Planar Robot PDF
21 Sohaib Ahmad MS (2014) Formal Verification of Biological Networks PDF
22 Waqas Gul MS (2014) Globally Asynchronous Locally Synchronous (GALS) Interface PDF
23 Syeda Hira Taqdees MS (2013) Formalization of Laplace Transform Using the Multivariable Calculus Theory of HOL Light PDF
24 Mohammad Ismail MS (2013) Formal Analysis of TAPE: A Thermal Management Algorithm for ICs PDF
25 Mohammad Usman MS (2012) Formal Analysis of Homogeneous Linear Differential Equations using Theorem Proving PDF
26 Mumtaz Ali MS (2012) Digital Circuit Evolution Using SAT Solver PDF
27 Nadeem Iqbal MS (2012) Formalization of Asymtotic Notations in Higher-order Logic PDF
28 Uzma Mushtaq MS (2012) Image Processing Hardware Design using NoCs PDF
29 Umair Siddique MS (2011) Formal Analysis of Fractional Order Systems in Higher-order Logic PDF
Undergraduate
# Name Year Topic
1-3 Omar Ikram & Asad Hasan & Furqan Aziz BEE(2017-18) Battery Doctor
4-6 Haider Ali & Komal Ishaq & Syed Hashim Abbas BEE(2017-18) Integration of Haptics in Biological Simulation Tools
7-9 Eman Fatima & Osama Aamer & Taimoor Bin Khalid BSCS(2017-18) Menu Assistant
10-12 Sarmad Saeed & Hareem Shafi & Moeez Akmal BEE(2016-17) Optimizing Thermal and Resource Management Algorithms for Multi-Core Architectures
13-15 Laiba Nasir & Mamona Inam & Sumbul Bashir BEE(2016-17) Converter Design to Control Harmonic Emissions in UPS
16-18 Omar Misbah Shami & Momin & Rana Ahmad Bilal BEE(2016-17) Beidou GNSS Receiver Design and Implementation on Arm Cortex A-9 Processor (Zynq SoC)
19-21 Sarah Shah & Masooma Safeer & Abdul Qahir BEE(2016-17) Management of Shared Resources in Multi-Core Systems
22-24 Saad Mahmood & Mahnoor Ali & Asad Tariq BEE(2015-16) Hand Joints Monitoring Wearable Device for Rheumatoid Arthritis Patients
25-27 Muhammad Tahir & Ibraheem Bin Mehmood & Usman Asif BEE(2015-16) Exploring Smart Ways to Improve the Energy Consumption of Wireless Sensor Network Nodes to Improve their Lifetime
28-30 Jamal Ahmad Khan & Usama Pervaiz & Haroon Ali Akbar BEE (2015-16) Body Area Sensor Network with an App/Web Server to Assist Congestive Heart Failure Patients
31-32 Faiza Tahir & Shiza Tariq BSCS(2015-16) App/Web Server to Assist Congestive Heart Failure Patients
33-34 Asad Ali Awan & Muhammad Sarmad Khan BEE(2014-15) Extending RRT* for 3D Environments
35-36 Saba Mumtaz & Ahmed Hussain Qureshi BEE(2013-14) Enhanced RRT* for Motion Planning in Complex Obstacle Cluttered Environments
37-38 Nyla Afzal & Syeda Farwa Naqvi BESE(2013-14) Formal Verification of Dynamic Systems using Event-B
39-41  Ainan Ihsan & Mehreen Saeed & Tayyba Fatima BESE (2013-14) Formal verification/Modeling of LEACH and its Extensions
42-44  Hassan Raza Gillani & Yassar Saleem & Awais Mahmood BEE(2013-14) Formal Analysis of Power Distribution Management System Algorithms in Smart Grids
45-47  Areesh Tahir & Sohaib Jasim & Atif Khan BEE(2013-14) E-MAA Pre-natal Remote Monitoring Unit: High Impact Maximum Outreach
48-49 Saba Mumtaz & Ahmed Hussain Qureshi BEE(2013-14) Enhanced RRT* for Motion Planning in Complex Obstacle Cluttered Environments
50-52 Adil Khurram & Haider Ali & Arham Tariq BEE(2012-13) Formal Reliability Analysis of Protective Relays in Power Distribution Systems
53-54 Waleed Aslam & Muhammad Uzair Afzal BEE(2011-12) Aware 2 – Fall Detection & Daily Activity and Vital Monitoring System
55-57 Ayesha Inam & Aisha Khan & Nirmal Saeed BEE(2011-12) Designing an Automatic Theorem Proving based Formal Verification Tool for Combinational Circuits
58-59 Anas Shoib & Zohaib Hayat BEE (2011-12) Designing a Spectrum Analyzer using FPGA
60-62 Faiq Khalid Lodhi & Naeha Sharif & Nadra Ramzan BEE(2010-11) Design of a Digital Phase Detector for Clock Synchronization in MPSoC
63-65 Shehryar Tariq & Syed Kamran Haider & Sarmad Munir BEE(2010-11) Development of a Tele-Surgical Training Robot
66-68 Farrukh Hijaz & Talal Ahmed & Nabeel Afzal BEE(2009-10) Aware – Fall Detection and Daily Activity Monitoring System
69 Hasnain A Qureshi BEE(2009-10) Formal Verification of CMOS Level Digital Circuits
70-72 Umaid Ali & Saad Ayub & Shejih Matiullah & Jawad Paracha BEE(2009-10) Firefighting Robot
73 Ali N. Nasir BEE (2009-10) Analysis of FPGA based DSP Algorithms