Debmalya Mandal

Debmalya Mandal is a researcher at the Max Planck Institute for Software Systems (MPI-SWS), focusing on foundational aspects of computer science. His research interests include algorithms, theoretical computer science, programming languages, and formal verification techniques applied to cyber-physical systems and distributed networks. He explores security, privacy, and mobile system challenges with an emphasis on rigorous logical and algorithmic methods.

Professional activities include contributing to graduate studies at MPI-SWS and participating in institute-wide initiatives such as tenure-track openings, postdoctoral programs, and internship opportunities. His work aligns with the institute's mission to advance software systems research through interdisciplinary collaboration.

Dr. Mandal maintains an active presence through his personal website at https://debmandal.github.io/, where he shares research outputs and project details. His contributions support the institute's commitment to equal opportunity and fostering a collaborative academic environment.