About Me

I am a post-doctoral researcher in computer science at Carnegie Mellon University in Pittsburgh, PA. I work in the Logical Systems Lab. 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. Before joining CMU, 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).

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