conf.researchr.org / Logan Murphy

Registered user since Wed 5 Apr 2023

Name:Logan Murphy
Country:Canada
Affiliation:University of Toronto
Personal website: https://www.cs.toronto.edu/~lmurphy/
Research interests:Formal Methods

Contributions