Joe Scott is a Graduate Student of Computer Science at the University of Waterloo, supervised by Vijay Ganesh and Pascal Poupart. His research focuses on applied logic, applied machine learning, and automated reasoning.