Robert Robere is an Assistant Professor in the School of Computer Science at McGill University. His research interests are in computational complexity theory, and particularly in circuit complexity, proof complexity, communication complexity, and related topics. Robert also maintains an interest in the theory and practice of SAT solving and model checking.