GradNova
Home
Find Faculty
Universities
Research
Home
/
Universities
/
McGill University
/
Robert Robere
R
Robert Robere
Professor
Computer Science
,
McGill University
Research Interests
Computational Complexity
Discrete Mathematics
Logic and Computation
Proof Complexity
Complexity and Algorithms in Graphs
Formal Methods in Verification
Logic, Reasoning, and Knowledge
Advanced Graph Theory Research
Computability, Logic, AI Algorithms
Academic Metrics
Links
Grants