Yehia Abd Alrahman

Yehia Abd Alrahman is a Senior Lecturer at the Department of Formal Methods within the University of Gothenburg. His work focuses on formal methods, model checking, and reconfigurable systems, with particular emphasis on multi-agent systems and attribute-based communication. He develops verification tools like R-CHECK and contributes to theoretical foundations for collective adaptive systems. His research integrates formal verification techniques with practical applications in distributed systems and energy grids.

Key research interests include formal verification of reconfigurable systems, attribute-based communication models, and correct-by-design teamwork plans for multi-agent systems. He has published extensively on topics such as bisimulation theory, distributed coordination frameworks, and protocol analysis. His work often bridges theoretical computer science with practical implementation in domains like power grid control and system resilience.

Academic contributions span programming language design for CAS, verification frameworks, and pedagogical approaches to formal methods education. Collaborations include projects on runtime verification, distributed API design, and adaptive system coordination protocols. Current research trends emphasize enhancing system correctness through automated synthesis and rigorous formal methods.