Institut für Information Systems Engineering

Compilers and Languages

Wir beschäftigen uns in Forschung, Lehre, Innovation und Technologietransfer mit der Theorie und Praxis des Entwurfs und der Implementierung von Programmiersprachen, Prinzipien der Programmierung und deren Wechselwirkungen mit angrenzenden Gebieten wie Software-Technik und Rechnerarchitekturen.

Schwerpunkte sind Grundlagen, Methoden und Werkzeuge für die Konstruktion von Übersetzern, Interpretierern, virtuellen Maschinen und Mittelschichtarchitekturen, die Analyse, Verifikation und Optimierung von Programmen und Programmsystemen und Anwendungen im Bereich eingebetteter, cyber-physikalischer und sicherheitskritischer Echtzeitsysteme.

English:

We are concerned in research, teaching, innovation, and technology transfer with the theory and practice of the design and implementation of programming languages, principles of programming, and their interactions with neighbouring fields like software and computer-engineering.

Foci are foundations, methods, and tools for constructing compilers, interpreters, virtual machines, and middleware-architectures, the analysis, verification, and optimization of programs and program systems, and applications in the fields of embedded, cyber-physical, and safety-critical real-time systems.

Bibliothek
Fakultät für Informatik
Technische Universität Wien