GradNova
Formal Logic
2 faculty research Formal Logic on GradNova.
Associate Professor
Computer Science
Colorado State University
Assistant Professor, Teaching Stream and Academic Advisor
David R. Cheriton School of Computer Science
University of Waterloo