Research Overview

Image source: World Economic Forum

My research focuses on assuring the safety and trustworthiness of cyber-physical systems (CPS), which are smart systems that include co-engineered interacting networks of physical and computational components. CPS empower the coming fourth industrial revolution, through providing new functionalities to improve quality of life and enabling technological advances in critical areas (e.g., healthcare, transportation, energy, and manufacturing). My research develops theoretical methods and practical tools to support the modeling, design and analysis of CPS.