News & Events
Visit the following websites to receive detailed information on our activities:
- chevron_right Programming Language Foundations Lab (Prof. Ralf Jung)
- chevron_right Programming Methodology Group (Prof. Peter Müller)
- chevron_right Advanced Computing Laboratory (Prof. Markus Püschel)
- chevron_right Advanced Software Technologies Lab (Prof. Zhendong Su)
- chevron_right Secure, Reliable, and Intelligent Systems Lab (Prof. Martin Vechev)