-
Abteilungsleitung
Andreas Maletti
Büro: Augusteum A-424
Tel: +49-341-97-32201
Fax: +49-341-97-32209 -
Sekretariat
Andrea Hesse
Büro: Paulinum P-429
Tel: +49-341-97-32220
-
Wissenschaftliches Personal
Teodora Nasz Büro: A-416
Karin Quaas Büro: A-418
Lena Katharina Schiffer Büro: A-416
Lehre
Die Inhalte und Prüfungsmodalitäten der Kurse werden in der jeweiligen Modulbeschreibung und in den ersten Veranstaltungen bekannt gegeben. Weitere Informationen und Vorlesungsmaterialien finden Sie üblicherweise im entsprechenden AlmaWeb- oder Moodle-Bereich.-
Wintersemester 2023/2024
Komplexitätstheorie (M.Sc.)
Kryptographie (M.Sc.)
Sem. Datenkompression (B.Sc.)
Sem. Theor. Informatik (M.Sc.)
-
Sommersemester 2023
Berechenbarkeit (B.Sc.)
Maschinelle Übersetzung (M.Sc.)
Modelle der Übersetzung (M.Sc.)
-
Abschlussarbeiten
Bitte kontaktieren Sie uns, falls Sie eine Abschlussarbeit zu unseren Themen schreiben möchten.
Forschung
Baumautomaten — Baumübersetzer — Maschinelle Übersetzung — Automatentheorie — Komplexitätstheorie
Wir beschäftigen uns mit formalen Modellen zur Modellierung von Übersetzungsprozessen (vorrangig auf Bäumen). Dazu untersuchen wir verschiedene Übersetzer und Automaten auf deren Ausdrucksstärke und Passfähigkeit zur gegebenen Anwendung. Die typischen Anwendungen sind die syntaktische Analyse und die Übersetzung natürlicher Sprache, aber wir beschäftigen uns auch mit der Verarbeitung von XML-Daten. Des Weiteren untersuchen wir die Komplexität für die wesentlichen Probleme auf diesen Modellen und entwickeln vereinzelt auch Prototypen.
Vorträge
Wir halten ständig Vorträge zu unserer Forschung
und berichten darin von unserer Arbeit.
Sie finden
hier auch Vorlagen von öffentlichen Besprechungen
und sonstige Präsentationen.