About me
I am a PhD candidate reading for a joint programme between Reykjavík University and the University of Malta. Prior to resuming my studies, I pursued a software development career for seven years.
My main research interests lie in the area of runtime monitoring and verification for concurrent and distributed systems, automated synthesis of efficient runtime monitors, and software engineering techniques to address scalability and partial-failure in distributed systems. I am also interested in the semantics of programming languages, language design, concurrent languages, compiler construction, formal modelling and verification of systems, and various program logics.