Dr. Yehia Abd Alrahman
logo of University of gothenburg Dr. Yehia Abd Alrahman
Göteborgs Universitet
Department of Computer Science and Engineering
Formal Methods Division
Phone: +46 31 772 60 54
Email: Göteborgs Universitet -- Research
Office: EDIT 5483
Address: Rännvägen 6B , 412 96 Göteborgs, Sweden

But still, the emphasis ought to be on modeling what happens in real systems, whether they are human-made systems like operating systems, or whether they exist already. There is a subtle change from the Turing-like question of what are the fundamental, smallest sets of primitives that you can find to understand computation. I think some of that applies in concurrency, like naming: what is the smallest set of primitives for naming? So some of that applies. But as we move towards mobility, understanding systems that move about globally, you need to commit yourself to a richer set of semantic primitives. I think we are in a terrific tension between (a) finding a small set of primitives and (b) modeling the real world accurately.

Short Bio

Dr. Abd Alrahman is a Researcher at the Dept. Of Computer Science and Engineering, affiliated under Göteborgs Universitet. He has been a research associate at the University of Leicester and since then he is working on the ERC consolidator grant D-SynMA (led by Prof. Nir Piterman), investigating distributed reactive synthesis for Multiagent Systems.
He was a PostDoc Researcher at SysMA research unit in IMT School for Advanced Studies Lucca, Italy; also a member of the Italian Project FILIERASICURA with Cisco Italia. He obtained his PhD, as well as the "Doctor Europeaus" certificate from IMT School for Advanced Studies Lucca working towards a Foundational theory of collective-adaptive systems. During his PhD, he has been a visiting research scholar at the Dept. Of Informatics, LFCS Laboratory in the University of Edinburgh where he investigated Quantitative Analysis of collective-adaptive systems.

Research Interests

Dr. Abd Alrahman's main research interests revolve around Concurrency theory, Verification and Formal Methods. Among his interests there is one thread which has preoccupied him for 6 years so far. This thread is the semantic basis of collective-adaptive computations. Thus, his focus is on developing mathematical formalisms to describe systems that interact flexibly through various modes of communication.

Namely, He targets the following areas:

Curriculum Vitae