Robert Robere

Robert Robere is an Assistant Professor in the School of Computer Science at McGill University. His research focuses on computational complexity, discrete mathematics, logic and computation, and proof complexity. He is a theoretical computer scientist who uses mathematical tools to study computation. Robere co-organized a workshop on recent progress in Propositional Proof Complexity at FOCS 2021 and has contributed to several research papers in areas such as proof complexity and computational complexity. He teaches courses such as COMP 360, COMP 532, and COMP 604 at McGill University.