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.

[vita]

address

DIMACS
CoRE Building
96 Frelinghuysen Road
Rutgers University
Piscataway Township, NJ, 08854
E-Mail: robere [at] cs [dot] toronto [dot] edu
Office: CoRE 419

publications

theses

code