Seit dem Wintersemester 2006/2007 besetzt Professor Henning Fernau den Lehrstuhl für Theoretische Informatik an der Universität Trier.

Die Theoretische Informatik ist eines der großen Teilgebiete der Informatik und beschäftigt sich mit Themen aus der Berechenbarkeitstheorie, der Komplexitätstheorie, der Algorithmentheorie und den Formalen Sprachen.

Henning Fernau und seine Mitarbeiter bearbeiten Fragen aus der Theoretischen Informatik in ihrer Forschung und bieten regelmäßig Lehrveranstaltungen dazu an.