Programmiersprachen

Programmiersprachen ist eine Kernspezialisierung innerhalb der Disziplin Informatik-Grundlagen, die Teil des breiteren akademischen Feldes Informatik & IT ist. Sie untersucht die Prinzipien, das Design, die Implementierung und die Analyse von Programmiersprachen und deren Toolchains, wobei formale Methoden, Typsysteme, Compiler- und Laufzeit-Engineering, Sprachsemantik und praktisches Sprachdesign kombiniert werden. Studierende lernen, wie Sprachmerkmale die Programmkorrektheit, Sicherheit, Ausdrucksstärke, Leistung und Entwicklerproduktivität beeinflussen, und sie lernen, Compiler, Interpreter, statische Analysatoren, virtuelle Maschinen und domänenspezifische Sprachen zu bauen, die moderne Softwaresysteme antreiben.

Da Softwaresysteme in Umfang und Komplexität wachsen, wird Expertise in Programmiersprachen unerlässlich für die Verbesserung von Zuverlässigkeit, Sicherheit und Effizienz in Bereichen von Cloud-Plattformen bis zu eingebetteten Systemen und Data Science. Forschung und Praxis in diesem Bereich verbinden Theorie (formale Semantik, Programmlogik, Typentheorie) und Engineering (Compiler-Optimierungen, Garbage Collection, JIT-Kompilierung, Tooling und IDE-Integration).