Welcome to the Theoretical Computer Science Research Group

Since 2006/2007, Professor Henning Fernau has been teaching at the Department of Theoretical Computer Science at the University of Trier. Theoretical computer science is one of the major areas of computer science and deals with these topics:

• Calculability theory
  • Complexity theory
    • Algorithm theory 
      • Formal languages.

Henning Fernau and his colleagues work on questions from theoretical computer science in their research and regularly offer courses.