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.
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.
ABACUS: A run-time environment for attribute-based interaction in Java
A Model for Operation Control in Power Distribution Grids (Submitted)
Author: Yehia Abd Alrahman, T: +44 (0)116 252 3904 (Office).