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 .