Erfan Tavakoli

Erfan Tavakoli is a researcher at the Max Planck Institute for Software Systems (MPI-SWS), focusing on theoretical and applied aspects of computer science. His work spans algorithms, programming languages, and cybersecurity, with applications in distributed systems and cyber-physical systems.

Research Interests: His primary research areas include formal verification of software systems, algorithmic foundations of distributed computing, and privacy-preserving technologies. He also explores the intersection of social systems and computational models.

Labs/Teams: As part of MPI-SWS, he contributes to interdisciplinary projects involving formal methods, networked systems, and security protocols. His team collaborates on advancing theoretical frameworks for resilient and privacy-aware computing.