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 topics from the calculability theory, the complexity theory, the algorithm theory and the formal languages.
Henning Fernau and his colleagues work on questions from theoretical computer science in their research and regularly offer courses.