Dr. Navid Talebanfard

Short CV

December 2014 - July 2016: Postodoctoral researcher at Tokyo Institute of Technology, Japan

September 2011 - September 2014: PhD in computer science, Aarhus University, Denmark

August 2009 - September 2011: MSc (cum laude) in logic, University of Amsterdam, The Netherlands

2005 - 2009: BSc in computer science, Shahid Beheshti University, Iran.

Research interests

Computational and proof complexity, Boolean satisfiability


2009 - 2011: Huygens Scholarship Program, The Netherlands


Dr. Navid Talebanfard

Saarland University
Cluster of Excellence
Multimodal Computing and Interaction

Campus E1 3
66123, Saarbrücken


Computer Science Department, Saarland University Saarland University Cluster of Excellence