- 
		  
		  AbteilungsleitungAndreas Maletti 
 Büro: Augusteum A-424
 Tel: +49-341-97-32201
 Fax: +49-341-97-32209
- 
		  
		  SekretariatAndrea Hesse 
 Büro: Paulinum P-429
 Tel: +49-341-97-32220
 
- 
		  
		  Wissenschaftliches PersonalTeodora 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/2024Komplexitätstheorie (M.Sc.)
 Kryptographie (M.Sc.)
 Sem. Datenkompression (B.Sc.)
 Sem. Theor. Informatik (M.Sc.)
 
- 
	      
	      Sommersemester 2023Berechenbarkeit (B.Sc.)
 Maschinelle Übersetzung (M.Sc.)
 Modelle der Übersetzung (M.Sc.)
 
- 
	      
	      AbschlussarbeitenBitte 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.
