Prof. Dr. Jacobo Torán

• Algorithms and Complexity
• Logic
• Theory of Computation
• On-Line available papers
• Books

Winter semester 2025/26:

Fundamentals of Theoretical Computer Science

Summer semester 2025:

Algorithmic Game Theory

SAT-Solving

Previous Teaching

• Director of the Centre for Languages and Philology of Ulm University

• 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