Compilers&Languages

...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.