Module Handbook

Majumdar, Rupak, Prof. Dr. (PROF | DEPT: INF)

AG Rigorous Software Engineering (MPI)

Responsible for Modules

INF-56-01-M-6
Program Analysis
[INF-ALG] Algorithmics and Deduction
INF-88-54-M-7
Principles of Cyber-Physical Systems
[INF-MPI] Max-Planck-Institute
INF-88-74-M-6
Research Topics in Software Reliability (Seminar)
[INF-MPI] Max-Planck-Institute
INF-88-82-M-7
Software Systems (Project)
[INF-MPI] Max-Planck-Institute
INF-88-83-M-6
Compositional Techniques for Synthesis and Verification (Seminar)
[INF-MPI] Max-Planck-Institute

Lecturer for Modules

INF-56-53-M-5
Complexity Theory
[INF-ALG] Algorithmics and Deduction
INF-88-54-M-7
Principles of Cyber-Physical Systems
[INF-MPI] Max-Planck-Institute
INF-88-74-M-6
Research Topics in Software Reliability (Seminar)
[INF-MPI] Max-Planck-Institute
INF-88-83-M-6
Compositional Techniques for Synthesis and Verification (Seminar)
[INF-MPI] Max-Planck-Institute

Lecturer for Courses

INF-54-82-K-7
Algorithms and Complexity (Project)
4L [INF-ALG] Algorithmics and Deduction
INF-56-53-K-5
Complexity Theory
4V+2U [INF-ALG] Algorithmics and Deduction
INF-88-54-K-7
Principles of Cyber-Physical Systems
4L [INF-MPI] Max-Planck-Institute
INF-88-74-K-6
Research Topics in Software Reliability (Seminar)
2S [INF-MPI] Max-Planck-Institute
INF-88-82-K-7
Software Systems (Project)
4L [INF-MPI] Max-Planck-Institute
INF-88-83-K-6
Compositional Techniques for Synthesis and Verification (Seminar)
2S [INF-MPI] Max-Planck-Institute