Elahe Ghalebi

Elahe Ghalebi is a Researcher at the Max Planck Institute for Software Systems (MPI-SWS), focusing on interdisciplinary areas at the intersection of theoretical computer science and applied systems research. Her work spans multiple domains including algorithms, programming languages, and cybersecurity.

Research Interests:

• Formal verification of distributed systems
• Cyber-physical systems security
• Algorithmic foundations for networked systems
• Privacy-preserving technologies

No specific awards, publications, or grants are explicitly listed in the provided text. Her affiliation with MPI-SWS suggests involvement in collaborative research projects and graduate training programs.