Prof. Dr. Jacobo Torán

• Algorithmen und Komplexität
• Logik
• Berechnungsmodelle
• Liste von online verfügbaren Veröffentlichungen
• Bücher

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 Zentrums für Sprachen und Philologie 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 here.
• Information Processing Letters (former editor)
• Transactions on Computation Theory (TOCT)

• International Conf. on Languages and Automata Theory and Applications LATA 2015
• CiE 2015 Evolving Computability
• International Computer Science Symposium in Russia CSR 2014
• 17th International Conference on Theory and Applications of Satisfiability Testing SAT 2014
• Computational Complexity Conference CCC 2013
  
• Symposium on Theoretical Aspects of Theoretical Computer Science STACS 2013
• International Conf. on Languages and Automata Theory and Applications LATA 12