Biography

Asad Ahmed is a PhD IT from National university of Sciences and  Technology (NUST), Islamabad, Pakistan. His main area of research is formal methods and his PhD thesis is "Formal Analysis of Power Electronics Circuits using Theorem Proving".   Before, he did his M.Sc. and M.Phil (Electronics) from Quaid-i-Azam university, Islamabad, Pakistan. His M.Phil. thesis title is "Nonlinear Blind Source Separation (BSS) using Kernel Hebbian Algorithm". Earlier he received his Bachelor degree, B.Sc. Math A, B and Physics, from Punjab University, Pakistan.

After M.Sc., in 2007,  he joined private telecom company as Telecom Engineer. 2009 onward,  he moved to academia and served as a lecturer in diploma collage. Just before registering to PhD, he joined System Analysis and Verification (SAVe) lab, NUST, Islamabad, Pakistan as Research Assistant. He worked at SAVe lab from 2013 to 2022.  In 2022, he joined Muslim Youth Unviersity, Islamabad as an Assistant Professor (on leave).

Since March 2024, he has been associated as a Postdoctoral Research Fellow with the Department of computer Science, University of Exeter, England, UK.