Sie sind hier: Technische Universität Dortmund > Fakultät für Informatik > Lehrstuhl Informatik 1 - Logik in der Informatik

Prof. Dr. Thomas Schwentick

Forschung/Research

Themen 

  • Grundlagen von Datenbanken
  • Logik in der Informatik
  • Komplexitätstheorie
  • Formale Sprachen und Automatentheorie
 

Topics

  • Theoretical Foundations of Databases
  • Logic in Computer Science
  • Complexity Theory
  • Formal Languages and Automata Theory
 


Joomla SEF URLs by Artio