Komal Agrawal

Komal Agrawal is affiliated with the Max Planck Institute for Software Systems (MPI-SWS), focusing on research areas including Algorithms, Theory & Logic, Programming Languages & Verification, Cyber-Physical Systems, Distributed Systems, Security & Privacy, and Social & Information Systems. The institute emphasizes interdisciplinary collaboration, education, and cutting-edge research in computer science.

Research at MPI-SWS spans foundational and applied domains, with a strong commitment to advancing software systems, verification techniques, and secure networked environments. The institute supports graduate studies and promotes equal opportunity in academic careers.