Dr. Ehsan Ahmad is serving as Assistant Professor at the Department of Computer Science and Engineering, Air University, Islamabad. He has completed his PhD in 2015 from Embedded Software Lab at Shaanxi Key Laboratory for Embedded System Technology, Northwestern Polytechnical University in Xi'an, China. Currently, he is also collaborating with State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences , in Beijing, for modeling and verification of Cyber-physical systems.

His long-term research goal is to understand how technology can recede into the background of our lives, by exploiting smart systems, and wheel-like technologies. Recently, he is investigating modeling and verification of hybrid systems, wherein embedded computing units interact with, or try to control some aspect of the physical world.

Dr. Ehsan has also been involved in exploring software verification and validation activities in two European space companies: Swedish Space Corporation, and Ruag Aerospace at Blekinge Institute of Technology, Sweden with Prof. Robert Feldt, who is considered as “one of the pioneers" in the search-based software engineering.