GradNova
Computer-Assisted Proofs
1 faculty research Computer-Assisted Proofs on GradNova.
Associate Professor, Teaching Stream
David R. Cheriton School of Computer Science
University of Waterloo