University of Leicester

informatics

photo of Yehia Abd Alrahman

STAFF — Yehia Abd Alrahman 

Research Associate
G1 Informatics Building
Department of Informatics,
University of Leicester,
University Road,
Leicester,
LE1 7RH.

T: +44 (0)116 252 3904 (Office)
Email:

Research Interests

My own sphere of special interest in the field of Computer Science is comprised by the challenge of supporting the development of high-quality, correct-by-construction software and systems, featuring predictability, adaptivity, efficiency, re-usability, maintainability and modularity that are key issues in contemporary information systems (such as embedded systems or service oriented architectures). At the time being I am interested in Game theory, control theory and their applications in formal verification.


Curriculum vitae


Short Bio

I am Research Associate at the Department of Informatics, University of Leicester, working with Prof. Nir Piterman on an ERC Consolidator Project, named DSynMA: Distributed Synthesis from Single to Multiple Agents.
I 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. Before that I did a PhD in the Track of Computer, Decisions, and Systems Science /CDSS at IMT School for Advanced Studies Lucca. I have completed my PhD with first honour degree, rating excellent. I also have two degrees and both of them were scholarships from the same university. My first degree was in computer engineering. It lasted for about four years and a half. A one year after completing my first degree, I have been offered a master scholarship by the department of computer science in the same university. I worked as a teacher assistant in the department of computer science during my master.

Tools

ABACUS: A run-time environment for attribute-based interaction in Java
AbC Simulator: Performance Evaluation of attribute-based communication infrastructures
Goat: Attribute-based interaction in Google Go
The Goat plugin: An Eclipse plugin for the AbC calculus

Publications

A Model for Operation Control in Power Distribution Grids (Submitted)
Yehia Abd Alrahman and Hugo Torres Vieira
A Behavioural Theory for Interactions in Collective-Adaptive Systems (Submitted)
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
Programming the Interactions of Collective Adaptive Systems by Relying on Attribute-based Communication (Submitted)
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
Goat: Attribute-based Interaction in Google Go (ISOLA2018)
Yehia Abd Alrahman, Rocco De Nicola, Giulio Garbi
A Distributed Coordination Infrastructure for Attribute-based Interaction (FORTE2018)
Yehia Abd Alrahman, Rocco De Nicola, Giulio Garbi, Michele Loreti
On the Power of Attribute-based Communication (FORTE2016)
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
Programming of CAS systems by relying on Attribute-based Communication (ISOLA2016)
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
A Calculus for Attribute-based Communication
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti, Francesco Tiezzi and Roberto Vigo
Can We Efficiently Check Concurrent Programs Under Relaxed Memory Models in Maude?
Yehia Abd Alrahman, Marina Andric, Alessandro Beggiato, Alberto Lluch-Lafuente


DBLP Profile


Google Scholar

Author: Yehia Abd Alrahman, T: +44 (0)116 252 3904 (Office).
© University of Leicester . Last modified: 27th November 2018, 15:28:34
Informatics Web Maintainer. Any opinions expressed on this page are those of the author.