Yehia Moustafa Abd Alrahman

Yehia Moustafa Abd Alrahman is a PostDoc researcher at the SysMA research unit of IMT School for Advanced Studies Lucca, where he also participates in the FILIERASICURA project with Cisco. He is preparing to relocate to the University of Leicester to collaborate with Prof. Nir Piterman on the ERC Consolidator Project DSynMA (Distributed Synthesis from Single to Multiple Agents). His academic journey began with a scholarship-funded computer engineering degree at IMT Lucca, followed by a master's scholarship in computer science where he served as a teaching assistant.

Abd Alrahman's research focuses on formal methods for developing correct-by-construction software systems with emphasis on predictability, adaptivity, efficiency, reusability, maintainability and modularity. His work particularly addresses challenges in contemporary information systems including embedded systems and service-oriented architectures. Currently, he is investigating formal analysis approaches for securing supply chains in cyber-physical systems. His research spans attribute-based communication, collective adaptive systems, multi-agent systems verification, and reconfigurable distributed systems.

His publication record shows a consistent trajectory from foundational work on attribute-based communication (2014-2018) toward increasingly sophisticated verification frameworks for reconfigurable systems (2019-2025). Recent publications demonstrate a clear evolution toward distributed synthesis techniques, model checking for reconfigurable multi-agent systems, and formal frameworks for runtime reconfiguration. His work bridges theoretical computer science with practical applications in secure system design.

Abd Alrahman completed his PhD with first honors rating 'excellent' in the Computer, Decisions, and Systems Science track at IMT School for Advanced Studies Lucca. While no formal awards are documented in the provided materials, his consistent publication record in top venues like FORTE, ISoLA, and AAMAS demonstrates recognition within the formal methods community. His collaborations with established researchers like Nir Piterman, Rocco De Nicola, and Michele Loreti indicate strong research networks.

As a PostDoc researcher, Abd Alrahman works within the SysMA research unit at IMT Lucca, contributing to the Italian Project FILIERASICURA with Cisco. His upcoming move to Leicester represents a significant career advancement through the ERC Consolidator Project DSynMA, which will expand his research scope into distributed synthesis for multi-agent systems.