About Me

My research interests are broad, but currently focus on aspects of formal modelling and verification of so-called hybrid systems (part of a broader family of cyber-physical systems). Most of my work to date concerned systems whose continuous motion is governed by non-linear ordinary differential equations (ODEs).

I hold a BSc degree in computer science and mathematics (2011) and a PhD degree in computer science (2016) from the University of Edinburgh, where I studied at the Laboratory for Foundations of Computer Science (LFCS) and was advised by Dr Paul B. Jackson. Upon graduating in 2016, I worked  as a research scholar with Dr Taylor T. Johnson at  Vanderbilt University in Nashville, TN, and briefly at the University of Texas (Arlington). In 2017-2019 I was a post-doctoral researcher in computer science at Carnegie Mellon University in Pittsburgh, PA, where I was member of the Logical Systems Lab headed by Dr André Platzer.

My ORCID is: 0000-0002-5849-7991.