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!
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.