Department of Computer Science,
University of Exeter, England, UK.
Email (Personal): asadahmedrafiq@gmail.com,
Email (official): a.ahmed6@exeter.ac.uk
Currently, I am working as a Postdoctoral Research Fellow at the Department of Computer Science, University of Exeter, England, UK. My research interest includes formal analysis and verification of safety- or mission-critical engineering applications, particularly, power electronics circuits, smart grids, e-health, microeconomics, weather forecasting models and smart contracts. Currently, I am working on the formal specification and verification of Solidity smart contracts in Isabelle/HOL .