Arpit Gupta

Arpit Gupta is a researcher at the Max Planck Institute for Software Systems (MPI-SWS), focusing on interdisciplinary research spanning algorithms, programming languages, and security. His work addresses challenges in cyber-physical systems, distributed networks, and privacy-preserving technologies. He contributes to the institute's mission of advancing fundamental computer science through theoretical and applied research.

Research interests include formal methods for system verification, logic-based reasoning, and the design of secure distributed systems. His projects often bridge theory and practice, targeting real-world applications in mobile and networked environments. Gupta collaborates with MPI-SWS teams on innovative solutions for modern computing challenges.

No specific grants, awards, or publications are explicitly detailed in the provided text. His role at MPI-SWS reflects active participation in graduate education and research mentorship within the institute's academic framework.