Robert Robere

I am an Assistant Professor in the School of Computer Science at McGill University. My research interests are in computational complexity theory, and particularly in circuit complexity, proof complexity, communication complexity, and related topics. I also maintain an interest in the theory and practice of SAT solving and model checking.

You can look at my curriculum vitae for more of my (professional) past life, if you're interested in that sort of thing. Otherwise, you can continue on to find my research papers, my students, or my recent teaching.


E-Mail: robere [at] cs [dot] mcgill [dot] ca
Office: MC 309
McConnell Engineering Building
McGill University
Montréal, QC, Canada


At FOCS 2021 I co-organized a workshop on recent progress in Propositional Proof Complexity. The schedule for the workshop is available, and the talks were recorded and are now publicly available. Of particular interest to many may be the following list of open problems in proof complexity, which were assembled by the speakers of the workshop and which we seek to distribute widely.

recent research papers

[all research papers]


current and future teaching

fun facts