My name is Joseph Scott. I am a Ph.D. student of Computer Science at the University of Waterloo , where I am incredibly lucky to be supervised by Vijay Ganesh and Pascal Poupart. My research focuses on applied logic, applied machine learning, and automated reasoning.

I received a M.Math in computer science from the University of Waterloo. I received a B.S. in computer science and a B.S in mathematics from Ohio University.

Here is my cv, email, github, and google scholar.