Prof. Dr. Jacobo Torán

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

WS16-17

• Formale Grundlagen der Informatik
• Algorithmen für schwierige Probleme

SS16

• Algorithmische Spieltheorie
• Formal Foundations of Computer Science
  

WS15-16

• Quantum Computing
  
• Algorithmen und Datenstrukturen
  

Older courses

• 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