Prateek Singhal

Prateek Singhal is a faculty member at the Max Planck Institute for Software Systems (MPI-SWS), specializing in foundational areas of computer science including algorithms, programming languages, and system verification. His research spans interdisciplinary domains such as cyber-physical systems, distributed computing, and security & privacy, with a focus on theoretical and applied aspects of software systems.

• Fields of Interest: Algorithms, Theory & Logic, Programming Languages & Verification, Cyber-Physical Systems, Distributed/Networked Systems, Security & Privacy, Social & Information Systems