Meenal Gupta

Meenal Gupta is a Researcher at the Max Planck Institute for Software Systems (MPI-SWS), where she focuses on interdisciplinary research spanning multiple areas of computer science. Her work emphasizes foundational topics such as algorithms, formal verification, and programming languages, alongside applied domains like cybersecurity, distributed systems, and societal impacts of information systems.

Her research interests include:

• Algorithmic theory and logic-based systems
• Verification of cyber-physical systems
• Security and privacy in distributed/mobile networks
• Design of robust social/information systems

She contributes to the institute’s graduate program, which offers specialized training in computer science, and collaborates on initiatives like tenure-track faculty recruitment and postdoctoral fellowships. Her work is part of MPI-SWS’s broader mission to advance foundational and applied computer science research.