Îçҹ̽»¨

• Algorithmen und Komplexität
• Logik
• Berechnungsmodelle
• Liste von online verfügbaren Veröffentlichungen
• µþü³¦³ó±ð°ù

WS21-22

• Algorithmen für schwierige Probleme
• Formale Grundlagen

WS20-21

• Formale Grundlagen
• Quantum Computing
• Seminar Algorithmik
• Proseminar Algorithmen

SS20

• Algorithmische Spieltheorie
• Berechenbarkeit und Komplexität
• Seminar Algorithmik

WS19-20

• Algorithmen und Datenstrukturen
• Algorithmen für schwierige Probleme

SS19

• Algorithmische Spieltheorie
• Berechenbarkeit und Komplexität

Frühere Lehrveranstaltungen

• Leiter des der Universität Ulm

• The Computational Complexity Column, Bulletin of the European Association for Theoretical Computer Science (former editor). The new editor is V. Arvind, his columns can be found .
• (former editor)
• (TOCT)

• International Conf. on Languages and Automata Theory and Applications
• Evolving Computability
• International Computer Science Symposium in Russia
• 17th International Conference on Theory and Applications of Satisfiability Testing
• Computational Complexity Conference
• Symposium on Theoretical Aspects of Theoretical Computer Science
• International Conf. on Languages and Automata Theory and Applications