Emre Yolcu

Email: eyolcu [at] cs [dot] cmu [dot] edu
Office: GHC 8113

I am a second-year PhD student at Carnegie Mellon University, advised by Marijn Heule. I am interested in proof complexity, computer-assisted proofs in mathematics, theory and applications of SAT solving, and, more broadly, logic in computer science.

Research publications