Emre Yolcu
Graduate Student ,
Carnegie Mellon University
Emre Yolcu is a PhD student in the Computer Science Department at Carnegie Mellon University. His research interests are in logic and complexity, in particular proof complexity, satisfiability, and related topics.