people

Asad Ahmed received his Ph.D IT degree from National University of Sciences and Technology (NUST), Islamabad, Pakistan, in 2022. Before, he did his MSc and MPhil (Electronics) from Quaid-i-Azam University, Islamabad, Pakistan in 2007 and 2013, respectively. He served as a Research Assistant from 2013 to 2022 at the System Analysis and Verification (SAVe) Lab, NUST. In March 2022, he joined the Department of Computer Science, MY University, Islamabad as an Assistant Professor (on leave). Since March 2024, Asad Ahmed is serving as a Postdoctoral Research Fellow at University of Exeter, UK. His research interest includes formal analysis and verification of safety- or mission-critical engineering applications, particularly, smart contracts, power electronics circuits, smart grids, e-health, microeconomics and weather forecasting models. Currently, he is working on the formal specification and verification of Solidity in Isabelle/HOL . He has published 10 research articles, including 1 manuscript, 1 book chapter, 4 journals and 4 conferences.

Billy is a PhD student in the department of Computer Science with his research focused on the formal verification of Solidity smart contracts.

He completed his MSci degree in Computer Science at Exeter in 2022, with his thesis focused on the implementation and application of Proof of Work (PoW) based blockchains.