Safya Alzayat

Safya Alzayat is a researcher at the Max Planck Institute for Software Systems (MPI-SWS). Her work focuses on foundational aspects of algorithms, programming languages, and verification techniques applied to cyber-physical systems and distributed networks. She explores challenges in security, privacy, and performance predictability in modern computing environments.

Her research emphasizes theoretical rigor while addressing practical applications in real-time systems and embedded software. Notable contributions include work on performance predictability in deep neural networks, blending algorithmic theory with system-level design principles.

Currently affiliated with MPI-SWS, her interdisciplinary research bridges computer science theory and engineering practice. No formal advising or award information is explicitly documented in the provided text.