ºÚÁÏ´«ËÍÃÅ

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

WS25-26

• Grundlagen der Theoretischen Informatik

SS25

• Algorithmische Spieltheorie
• SAT Solving

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