Hello WORLD!

I am a postdoctoral researcher at the Max Planck Institute for Software Systems, working in the Control Software Systems Group led by Prof. Anne-Kathrin Schmuck.

My research broadly lies at the intersection of Formal verification, Artificial intelligence, Control theory, Formal methods, and Automata theory. I focus on applying formal methods and verification techniques to improve the safety, security, and reliability of cyber-physical systems. More details can be found in my Research Statement.

I hold a joint Ph.D. (cotutelle) in Computer Science from the University of Antwerp and the University of Bordeaux, where I worked with Prof. Guillermo A. Perez and Prof. Nathanaël Fijalkow on “Learning and Verifying Temporal Specifications for Cyber-Physical Systems.” My doctoral research explored the automatic synthesis of formal specifications for explainability and verification. You can also explore my Ph.D. thesis for more in-depth insights into this research.

I come from a Mathematical and Computer Science background. I obtained my Bachelor’s degree in Mathematics and Computer Science and Master’s degree in Computer Science from Chennai Mathematical Institute, India.

Ritam Raha

Postdoctoral Researcher
MPI-SWS, Germany
  • (2024– ) PostDoc in CS, Max Planck Institute for Software Systems
  • (2019– 23) Ph.D. in CS, University of Antwerp & University of Bordeaux
  • (2017-19) M.Sc. in CS, CMI
Scroll down