Sometimes Rarely, I pen down my musings in my blog. You can find my blog here.
Check out this YouTube video I made with Kush Grover to introduce Model Checking to school kids:
Ritam Raha Postdoctoral Researcher in Computer Science Max Planck Institute for Software Systems
Contact Ritam via email Use this site as a template!
Max Planck Institute for Software Systems Room 318 Paul-Ehrlich Strasse G 26 67663 Kaiserslautern, Germany
© 2024 Ritam Raha