Yehia Abd Alrahman

Papers

Total Citations

H-Index

About

Yehia Abd Alrahman is a leading researcher in the formal verification and modelling of complex multi-agent systems, with a particular focus on reconfigurable and adaptive architectures. His most-cited work, "Modelling and verification of reconfigurable multi-agent systems" (2021, 13 citations), introduces novel frameworks for ensuring correctness and reliability in systems where agents can dynamically change their structure and interactions. This contribution is pivotal for advancing trust in autonomous systems, from robotic swarms to distributed AI. Abd Alrahman’s research bridges theoretical computer science and practical engineering, offering rigorous methods to verify properties like safety and liveness in evolving environments. His work has been recognized for its impact on the design of resilient, self-adaptive systems, influencing both academic research and industrial applications. Through his publications, he continues to shape how we reason about the behaviour of intelligent, reconfigurable agents, making him a key figure in the field of multi-agent systems and formal methods.