I am a PhD student at the University of Toronto's Department of Computer Science, where I am fortunate to be supervised by Marsha Chechik.

I am interested in using automated reasoning to solve software engineering problems, including automated theorem proving, model checking, and proof assistants.

I am especially interested in problems surrounding software evolution, variability, and assurance arguments.

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