Research
Topics
- Publications
- Doctoral-, Diploma-, Senior-, Master-, Bachelor-Theses (information in German only)
- Research Projects:
- Satisfiability Problems (information in German only)
- Complexity Analysis of Constraint Satisfaction Problems
- Circuit Complexity
- Uniform Characterizations of Complexity Classes (Leaf Languages Homepage)
- Completed Projects:
- Approximation Algorithms for Optimization of Networks
Events
- Talks
- Oberseminar Theoretische Informatik (information in German only)
- Circuits, Logic, and Games, Dagstuhl, 2010.
- Post's Lattice with Applications to Complexity Theory, ESSLLI 2007.
- Circuits, Logic, and Games, Dagstuhl, 2006.
- Complexity of Constraints, Dagstuhl, 2006.
- Logic and Circuit Complexity, ESSLLI 2003.
Theorietage
Further Information
Links
- GI Special Interest Group Complexity Theory
- NTH Focused Research School for IT Ecosystems
- Information for International Students (Foreign Representative: Prof. Dr. Heribert Vollmer)
- Information about studying abroad (Contact Person: Prof. Dr. Heribert Vollmer)
| Last changed: 21. December 2009.
Top| Copyright Leibniz Universität
