Joseph Scott

I’m a computer scientist working on AI, automated reasoning, and machine learning. These days I’m leading a stealth startup in quantitative finance.

I did my PhD at the University of Waterloo in the David R. Cheriton School of Computer Science, supervised by Vijay Ganesh, on systems that combine learning with logical reasoning: algorithm selection for SAT and SMT solvers, reinforcement-learning fuzzers, and verification of neural networks (more on the research page). Before that I did a master’s at Waterloo and undergraduate degrees in mathematics and computer science at Ohio University.

Outside of work I listen to a lot of podcasts and watch a lot of educational YouTube.