Robert Robere

I am a postdoctoral researcher jointly appointed between DIMACS at Rutgers University (January-August 2019) and the Institute for Advanced Study in Princeton (September 2019-August 2020). Prior to this, I was a research fellow in the Lower Bounds program at the Simons Institute for the Theory of Computing at UC Berkeley.

I received my PhD from the University of Toronto, where I was a member of the DCS Theory Group under the supervision of Toni Pitassi and Stephen Cook.

My primary area of research is computational complexity theory, with an emphasis in circuit complexity, proof complexity, communication complexity, and related topics. I also have a deep interest in the theory and practice of SAT solving and model checking.

In August 2020 I will be joining the Department of Computer Science at McGill University as an Assistant Professor.

[vita]

address

008 Simonyi Hall
School of Mathematics
Institute for Advanced Study
1 Einstein Drive
Princeton, NJ
E-Mail: rrobere [at] ias [dot] edu

publications

theses

code

fun facts