Education
Teaching in programming languages and systems empowers software developers with modern techniques, languages, and tools that facilitate the development of fast, reliable, and secure software.
Courses and seminars
Members of our institute (co-)teach the following courses and seminars.
Bachelor in Computer Science
Algorithms and Data Structures
Automated Software Testing
Compiler Design
Formal Methods and Functional Programming
Introduction to Programming
Rigorous Software Engineering
Software Engineering Seminar
Master in Computer Science
(Major in Secure and Reliable Systems, Minor Programming Languages & Software Engineering)
Advanced Systems Lab
Concepts of Object-Oriented Programming
Design of Parallel and High-Performance Computing
Program Analysis for System Security and Reliability
Program Verification
Reliable and Trustworthy Artificial Intelligence
Research Topics in Software Engineering (seminar)
Details are available on the web sites of the individual groups:
- chevron_right Programming Language Foundations Lab (Prof. Ralf Jung)
- chevron_right Programming Methodology Group Teaching (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)
Student Projects
You'll find a list of possible topics for Bachelor's and Master's theses as well as Research in Computer Science projects on the group web sites:
- chevron_right Programming Language Foundations Lab (Prof. Ralf Jung)
- chevron_right Programming Methodology Group student projects (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)