GradNova
Logic and Computation
3 faculty research Logic and Computation on GradNova.
Associate Member
Computer Science
McGill University
Professor