Emre Yolcu

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.