Working on the formal verification of Solidity smart contracts.  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.