Venkat Arun

Venkat Arun is an Assistant Professor at the Max Planck Institute for Software Systems (MPI-SWS), specializing in foundational computer science research. His work spans algorithms, programming languages, and systems security, with a focus on formal verification and distributed computing.

He is affiliated with the Computer Science department at MPI-SWS, which emphasizes interdisciplinary research in theoretical and applied computing. Venkat contributes to initiatives like the Graduate Studies program at MPI-SWS, offering structured training for doctoral students.

His research addresses challenges in cyber-physical systems, privacy-preserving technologies, and distributed networked systems, reflecting a commitment to advancing both theoretical rigor and real-world applicability.