Course catalogue
Overview > Dept. 20 - Computer Science > Elective Area > Software Systems and Formal Foundations
Course offerings / Modules
|
Course offering / Module Instructors / Module Owner Time period |
Event type Room |
|||
|---|---|---|---|---|
|
18-su-2010-ue Software-Engineering - Maintenance and Quality Assurance Prof. Dr. rer. nat. Andreas Schürr; M.Sc. Alexander Lieb |
Exercise | |||
|
18-su-2010-vl Software-Engineering - Maintenance and Quality Assurance Prof. Dr. rer. nat. Andreas Schürr; M.Sc. Alexander Lieb Mon, 11. Apr. 2022 [09:50] - Mon, 18. Jul. 2022 [15:00] |
Lecture | |||
|
20-00-0113-iv Algorithmic Modelling Prof. Dr. rer. nat. Karsten Weihe |
Integrated Course | |||
|
20-00-0701-vl Advanced Compiler Construction Prof. Dr.-Ing. Andreas Koch Tue, 12. Apr. 2022 [16:15] - Th, 14. Jul. 2022 [13:20] |
Lecture | |||
|
20-00-0794-iv Formal Specification and Verification of Software Prof. Dr. rer. nat. Reiner Hähnle Tue, 12. Apr. 2022 [13:30] - Tue, 12. Jul. 2022 [15:10] |
Integrated Course | |||
|
20-00-1069-iv Automatic Software Verification Prof. Dr. rer. nat. Marie-Christine Jakobs Wed, 13. Apr. 2022 [13:30] - Wed, 13. Jul. 2022 [15:10] |
Integrated Course | |||
|
20-00-1115-vl Model Checking Dr. rer. nat. Richard Bubel Wed, 13. Apr. 2022 [09:50] - Wed, 13. Jul. 2022 [11:30] |
Lecture | |||
|
20-00-1117-iv Concepts of Programming Languages Prof. Dr.-Ing. Ermira Mezini; Dr. rer. nat. Krishna Narasimhan Murali Wed, 13. Apr. 2022 [14:00] - Wed, 13. Jul. 2022 [15:40] |
Integrated Course | |||
|
20-00-1136-iv Introduction to Quantum Computing Prof. Dr. rer. nat. Mariami Gachechiladze Th, 14. Apr. 2022 [15:20] - Th, 14. Jul. 2022 [17:00] |
Integrated Course | |||