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.
This fall I am organizing the Undergraduate Computer Science Research Symposium at McGill. If you are an undergraduate student who has a research project and you would like to present a poster at the symposium, see here for more details!
I currently have several funded positions open for graduate students at both the MSc and PhD level starting in 2022. I am also interested in supervising McGill undergraduate student research projects. If you are a student interested in theoretical computer science and would like to know what kinds of research opportunities there are in my group, feel free to drop me an e-mail!
Prior to joining McGill, I was...
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.