Gliederung

Fachbereich Informatik

Forschungsfelder

• Programmiermethodik: Generische Modellierung in komplexer, leistungskritischer, datenintensiver Software
• Softwareentwicklung: Synthese und automatische Generierung von Komponenten, Code, Tests, Dokumentation
• Codetransformation: Multi-Stage-Sprachverarbeitung, Kompilierung, Optimierung, Nebenläufigkeit, Portabilität
• Algorithmen und Datenstrukturen: Graphen, Geometrie, Gitter, Numerik, Datenanalyse