Fiodar Kazhamiaka, PhD candidate
David R. Cheriton School of Computer Science
Stephen Askew, Master’s candidate
David R. Cheriton School of Computer Science
Nisarg Shah, Department of Computer Science
University of Toronto
Priyank Jaini, PhD candidate
David R. Cheriton School of Computer Science
The David R. Cheriton School of Computer Science is pleased to announce the inaugural Wes Graham Research Symposium & Computer Science Awards reception. The symposium takes its name from James Wesley (Wes) Graham, a humble visionary known as the father of computing at the University of Waterloo and an academic who devoted his career to making the magic of computers available to everyone.
Edward Zulkoski, PhD candidate
David R. Cheriton School of Computer Science
Xiao-Bo Li, PhD candidate
David R. Cheriton School of Computer Science
Marijn Heule, Research Assistant Professor
University of Texas at Austin
Progress in satisfiability (SAT) solving has enabled answering long-standing open questions in mathematics completely automatically, resulting in clever though potentially gigantic proofs. We illustrate the success of this approach by presenting the solution of the Boolean Pythagorean triples problem. We also produced and validated a proof of the solution, which has been called the "largest math proof ever."
Michael Cormier, PhD candidate
David R. Cheriton School of Computer Science
Edward Zulkoski, PhD candidate
David R. Cheriton School of Computer Science