Amin Rakhsha

Amin Rakhsha is a Researcher at the Max Planck Institute for Software Systems (MPI-SWS), focusing on foundational and applied research in computer science. His work spans multiple disciplines, including algorithms, formal methods, and cybersecurity.

Research Interests: His primary areas of expertise include Algorithms, Programming Languages & Verification, and Cyber-Physical Systems. He also explores Distributed Systems, Security & Privacy, and Social & Information Systems.

Collaborations & Affiliations: As part of MPI-SWS, he contributes to interdisciplinary projects involving software systems, networked technologies, and formal logic. His research aims to bridge theoretical insights with practical applications in computing.