Emre Yolcu

Graduate Student , Carnegie Mellon University
Visiting Graduate Student

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.

Program Visits

Visiting Graduate Student
Extended Reunion: Satisfiability