Dr. Asad Ahmed  received his Ph.D. in Information Technology from National University of Sciences and Technology (NUST), Islamabad, in 2022. His Ph.D. thesis title is "Formal Analysis of Power Electronics Circuits using Theorem Proving". Before, he did his  M.Phil. and M.Sc. (Electronics) from Quaid-i-Azam university, Islamabad, Pakistan.

Dr. Asad Ahmed research focuses on the formal analysis and verification of safety- or mission-critical systems using formal methods techniques, i.e.,  Model Checking and Theorem proving. During his Ph.D, he published a book,  three international journals  and three international conference papers. Currently, he is interested in using the state-of-the-art formal methods techniques in the domains of power electronics, control systems,  smart grids,  e-health, weather forecasting and microeconomics.

Dr. Asad Ahmed has significant experience in academia and industry. He was Research Assistant at System Analysis and Verification lab (SAVe Lab) from 2013 till 2022. He was able to publish his research in well reputed journals and conferences. His book, titled: Formal Analysis of Future Energy Systems using Interactive Theorem Proving,  with the Springer International Publishing is the culmination of his research at SAVe lab. Before, he was serving as an instructor at National Institute of Engineering and Technology for four years. He also had worked as Telecom Engineer after his M.Sc. in the Telecom field.

Facebook News

Best University in Islamabad

MY University is a springboard for learning. It is committed to high quality teaching with a thriving interactive culture. That's why we have established a strong support system between students and staff. They work on professionalism, teamwork, respect, integrity, mentorship, systems thinking and communication skills. We intend to recruit a diverse intake of students – the best and the truest of a kind – as it is our vision to see the institution par excellence in the days ahead.