I am a PhD candidate in the Programming Languages and Software Engineering (ProSE) group at the University of Toronto, where I am advised by 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.

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