I perform research on Cyber-Physical Systems (CPS) - embedded systems that control and regulate machines and devices.
My research addresses the interdisciplinary area of embedded and Cyber-Physical Systems (CPS), which feature tight integration and interactions between embedded, networked processors and the physical environment, addressing non-functional properties such as safety, security, timeliness, and efficiency.
The research aims to develop algorithms and techniques to help make such systems both safer and more efficient, especially taking into consideration the wide deployment of Learning-enabled Components in safety-critical systems.