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.

I have now officially joined McGill, and I am excited to supervise students! If you would like to chat about research opportunities, drop me an e-mail!

contact

E-Mail: robere [at] cs [dot] mcgill [dot] ca
Office: TBD
McGill University
Montreal, QC, Canada

Prior to joining McGill, I was...

- a member in the School of Mathematics at the Institute for Advanced Study.
- a postdoctoral researcher at DIMACS, at Rutgers University.
- a research fellow in the Lower Bounds program at the Simons Institute at UC Berkeley.
- a PhD student at the University of Toronto, supervised by Toni Pitassi and Stephen Cook.

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 or my recent teaching.

recent research papers

Amortized Circuit Complexity, Formal Complexity Measures, and Catalytic Algorithms
Robert Robere, Jeroen Zuiddam.
Manuscript 2021. [ECCC]

On the Power and Limitations of Branch and Cut
Noah Fleming, Mika Göös, Russell Impagliazzo, Toniann Pitassi, Robert Robere, Li-Yang Tan, Avi Wigderson
Manuscript 2021. [arXiv]

Automating Algebraic Proof Systems is NP-Hard
Susanna F. de Rezende, Mika Göös, Jakob Nördstrom, Toniann Pitassi, Robert Robere, Dmitry Sokolov.
To appear at STOC 2021. [ECCC]

KRW Composition Theorems via Lifting
Susanna F. de Rezende, Or Meir, Jakob Nördstrom, Toniann Pitassi, Robert Robere
FOCS 2020. [ECCC]

Lifting with Simple Gadgets and Applications to Circuit and Proof Complexity
Susanna F. de Rezende, Or Meir, Jakob Nördstrom, Toniann Pitassi, Robert Robere, Marc Vinyals.
FOCS 2020. [ECCC]

fun facts

- I was born and raised in St. John's, Newfoundland, which is the best place on earth. When I was 22 I moved away for graduate school and, as you can see from the picture, this was obviously a mistake.

- Speaking of which, you might be looking for my Dad — also named Robert Robere — who is a house designer in St. John's. His website is here.

- I do a lot of rock climbing, particularly outdoors. Here's a picture of me climbing in Red Rocks, which is outside Las Vegas (in the blue shirt). Places I've climbed include: Red Rocks, Yosemite, Utah, The New, Newfoundland, and essentially every crag in Southern Ontario.

- Before graduate school I was heavily involved in theatre. As a student I performed with (and then later instructed for) the Canadian Improv Games in Newfoundland. I was also a founding member of the theatre group Stanley Braxton, which is still running today!

Robert Robere

contact

recent research papers

[all research papers]

teaching

fun facts