I am currently an Associate Professor in Cyber-Physical Systems at Newcastle University, United Kingdom. My research aim is to develop an integrated environment for programming, verifying, and designing high-performance and scalable CPSs perceiving and acting in the uncertain physical world. I have developed and shaped my research vision on formal synthesis, abstraction, and verification (over probabilistic temporal specifications) of complex dynamical systems with application in cyber-physical systems (CPSs) particularly involving energy networks and autonomous systems. I have a BSc in Pure Mathematics, a BSc in Electrical Engineering, an MSc in Control Engineering, and a PhD in Systems & Control, all with distinction. I built my background in Computer Science during my PhD studies and postdoctoral experiences at TU Delft, Oxford University, and the Max Planck Institute for Software Systems.
Abstraction and Verification (over probabilistic temporal specifications)
Stochastic Hybrid Systems
Power and Energy Networks
46 contributions at conferences.
24 contributions in journals.