Hi! I am an assistant professor in the Department of Computer Science at Memorial University.
My research interests are in the area of computational complexity with a particular focus on proof complexity, circuit complexity and the connections between them. I am also interested in the applications of proof complexity to algorithmic design and analysis, as well as property testing.
Previously, I was a postdoctoral researcher at UCSD and a research fellow at the Simons Institute, Berkeley. I received my PhD from the University of Toronto where I had the great fortune of being supervised by Toni Pitassi.