Federico Mora

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.



I have been lucky to have several highly influential collaborators and colleagues: Federico Mora (whom this website is stolen from), Maysum Panju, Sam Merten, Charlie Murphy, Saeed Nejati, Vijay Ganesh, and Pascal Poupart.