Professor Dr. Rupak Majumdar

Address Max-Planck-Institut für Softwaresysteme
Paul-Ehrlich-Straße G 26
67663 Kaiserslautern

Projects

As Project Head
- Current projects
  - Dynamical, Hybrid, and Probabilistic Systems: Verification & Explication (CRC/Transregios)
  - Programming Abstractions for Cyber-Physical Systems (CRC/Transregios)
- Completed projects
  - Probabilistic Causality and Explications (CRC/Transregios)
As Participating Person
- Completed projects
  - Robustness against Relaxed Memory Models (R2M2) (Research Grants)