B.Eng., M.A.Sc., Ph.D. (McMaster)
I am an Assistant Professor at Carleton University within the Department of Systems and Computer Engineering. I am enrolled in the Professional Engineers of Ontario (PEO) Engineering Intern Program (EIT). I am also a member of the ACM and IEEE, and I am an academic member of the Smart Cybersecurity Network SERENE-RISC.
My research involves the formal specification, modelling, analysis, and verification of distributed multi-agent software-dependent systems in an effort to develop design patterns that can be applied to build cybersecurity into the designs of such systems. As the world continues to increasingly depend on the connectedness of modern systems that are continually growing in size and complexity, there is an eminent and emerging need to be able to assure the safety, security, and reliability of these systems, and the information that they use, store, and communicate. Ultimately, the goal of my research program is to develop rigorous and practical solutions to address this need. This research presents many challenges and opportunities from both scientific and engineering perspectives, and involves a mix of basic and applied research. See my research interests for more information.
I obtained my Ph.D. in Software Engineering in 2015, M.A.Sc. in Software Engineering in 2010, and B.Eng. in Software Engineering and Game Design in 2009, each from McMaster University in Hamilton, ON, Canada. My doctoral dissertation involved the modelling and analysis of covert communication channels in distributed multi-agent systems.
Before joining Carleton University, I was a U.S. Department of Homeland Security Cybersecurity Postdoctoral Scholar at Stanford University within the Center for International Security and Cooperation (CISAC) where I worked on a project titled "Cybersecurity Assurance For Critical Infrastructure" which aimed to design and develop critical infrastructure cybersecurity assessment methodologies and associated modelling and simulation environments. I also have postdoctoral experience at the McMaster University Centre for Software Certification where I was part of the embedded software research thrust area for the FCA-McMaster Automotive Partnership Canada - Leadership in Automotive Powertrain (APC-LEAP) project, and in the Department of Mathematics, Statistics, and Computer Science at St. Francis Xavier University where I worked on a project related to ontology engineering and design.