Iram Tariq Bhatti
Lab Engineer
- School of Electrical Engineering and Computer Science
- 5190852102
Summary
Academic Background
MS
(Electrical Engineering) NUST, Islamabad
September 01, 2015 - August 31, 2019
Honours and Awards
Publications
Formal analysis of protection systems in power distribution networks
January 26, 2026
Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability - Volume: 240, Issue: 2 Pages:452-471
Considering the Impact of Noise on Machine Learning Accuracy
January 01, 2024
Embedded Machine Learning for Cyber-Physical, IoT, and Edge Computing - 1st Edition, Chapter 15, Pages 377-394
A Formal Approach to Identifying the Impact of Noise on Neural Networks
November 01, 2022
Communications of the ACM - Volume 65, Issue 11, Pages 70-73
Formal Verification of Robotic Cell Injection Systems
November 30, 2019
Control Systems Design of Bio-Robotics and Bio-mechatronic with advanced applications - Chapter 20
Conferences
Formal Verification of the Health Code System for Quarantine Management
December 23, 2025 - December 24, 2025
Iram Tariq Bhatti, Shahid Ali Khan, Adnan Rashid, Aimal Tariq Rextin,
2025 27th International Multitopic Conference (INMIC)
Formal Verification of a Fully Automated Out-of-Plane Cell Injection System
March 25, 2020 - March 26, 2020
Osman Hasan, Iram Tariq Bhatti ,
21st International Symposium on Quality Electronic Design (ISQED)
TVF
NUST
January 20, 2020 - August 28, 2020
TVF
NUST
September 02, 2019 - January 17, 2020
Internee
Ufone
August 26, 2009 - September 26, 2009
Internee
Nortel Networks
August 11, 2008 - September 04, 2008