Willkommen in der Theoretischen Informatik

Willkommen beim Arbeitsbereich für Formale Sprachen/Theoretische Informatik. Dieser Arbeitsbereich wird von Prof. Klaus-Jörn Lange geleitet. Wie der Name schon sagt, beschäftigen wir uns mit den mathematischen Grundlagen der theoretischen Informatik. Mehr über uns und das Lehrangebot finden Sie hier.

Themen

Die theoretische Informatik behandelt die mathematischen Grundlagen und formale Methoden der Informatik. Wie der Name des Lehrstuhls andeutet, spielen die Formalen Sprachen dabei eine zentrale Rolle. [read more ...]

Lehre und Angebote für Studenten

Aus den Forschungsthemen unseres Lehrstuhls ergibt sich ein Fülle von möglichen Aufgabenstellungen, die sich für Studien- und Diplomarbeiten oder alternativ für Bachelor- und Masterarbeiten eignen. Eine Auflistung von Themen findet sich unter dem Stichwort Abschlussarbeiten.

 

Es ist durchaus üblich, dass für theoretische Arbeiten das endgültige Thema erst in einer Einlernphase gefunden wird. Wir möchten Sie ermutigen sich, wenn Sie Interesse an einer Arbeit im Bereich unseres Lehrstuhls haben, sich einfach an uns zu wenden, gerne auch mit eigenen Vorschlägen für ein Thema. Als guter Anknüpfungspunkt, abgesehen von Vorlesungen, bietet sich unser Oberseminar an.