I am a postdoctoral fellow in the Programming Languages and Software Engineering (ProSE) group at the University of Toronto. I previously completed a PhD at the University of Toronto under Marsha Chechik.

I am interested in all aspects of formal methods and automated reasoning. My current research interests are primarily in analysis and verification of evolving and variation-rich systems (e.g., software product lines), software assurance and compliance (e.g., structured assurance cases), and using formal techniques to increase trustworthiness in AI-generated artifacts. I am also a Senior Software Safety Scientist at Critical Systems Labs, where I work on developing rigorous assurance cases for safety-critical systems.

Here is my CV and Google Scholar. You can reach me at lmurphy [at] cs [dot] toronto [dot] edu.