Animesh Nandi

Animesh Nandi is affiliated with the Max Planck Institute for Software Systems (MPI-SWS), focusing on core computer science research. His work spans algorithms, programming languages, verification, cyber-physical systems, and security/privacy. He contributes to the MPI-SWS faculty, engaging in graduate education and research leadership.

Research interests include theoretical foundations of software systems, distributed/networked systems, and practical applications of formal methods. His work addresses challenges in safety-critical systems and privacy-preserving technologies.

No specific publications, awards, or student advisees are listed in the provided text. MPI-SWS positions like tenure-track roles suggest active involvement in research and academic mentorship.