Ritam Raha (Preferred)
Ritam Raha
Postdoc, Control Software Systems, MPI-SWS
- Joined July 2024
Names
Emails
****@mpi-sws.org (Confirmed)
, ****@gmail.com (Confirmed)
Personal Links
Career & Education History
Postdoc
Control Software Systems, MPI-SWS (mpi-sws.org)
2024 – Present
PhD student
Antwerp Systems and software Modelling, Universiteit Antwerpen (uantwerpen.be)
2019 – 2023
PhD student
LaBRI, University of Bordeaux (u-bordeaux.fr)
2019 – 2023
MS student
Chennai Mathematical Institute (cmi.ac.in)
2017 – 2019
Advisors, Relations & Conflicts
Expertise
Formal Methods
Present
Symbolic AI
Present
Reactive Synthesis
Present
Reinforcement Learning
Present
Formal Verification
Present