GradNova

Proof Complexity

2 faculty research Proof Complexity on GradNova.

T

Toniann Pitassi

Professor

Computer Science

University of Toronto

Complexity Theory

Differential Privacy and Fairness

Machine Learning Theory

Proof Complexity

+6

R

Professors

Computer Science

McGill University

Computational Complexity

Discrete Mathematics

Logic and Computation

Proof Complexity

+5