I am a PhD Candidate in Computer Science at the Department of Computing and Software at McMaster University under the supervision of Tom Maibaum.


My research interests are mainly focused in correctness in software development. This includes the areas of automated formal methods (synthesis and verification), dependability, and real-time computing. Currently, I am working on how to formalize some of these notions within a Deontic Logic framework.