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. Right now I'm primarily investigating formal methods for software product lines and reusable proofs/verification evidence.

I'm also interested in the design and application of proof assistants, both in software engineering and formalized mathematics more generally.

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