Mosharaka for Research and Studies
Login/Sign Up
Main Menu
Users Menu
Quick Links
Next Congress
Global 2019 Congress on Economics, Management, Business and Financial Sciences (GC-EcoMan 2019)
15-17 November 2019, Aqaba, Jordan

MIC-Business 2019

MIC-Management 2019

MIC-Economics 2019

MIC-Finance 2019

MIC-Marketing 2019
GC-EcoMan 2019 MainGC-EcoMan 2019 CFPGC-EcoMan 2019 SubmissionsGC-EcoMan 2019 ProgramGC-EcoMan 2019 Registration

All Forthcoming Congresses


All Forthcoming Conferences

Update on Monday, 25 February 2019: Dr. Jaser K. Mahasneh becomes Chairperson of ArchiTek 2019.
  • Summary
  • Papers
  • Chairings
  • Committees
  • Reviews
  • Talks
Summary Information of Dr. Yehia Abd Alrahman
Name Dr. Yehia Abd Alrahman
Affiliation University of Leicester, Leicester, UK
Topics Automata and Formal Languages
Formal Methods in Computer Science
Biography I am Research Associate at the Department of Informatics, University of Leicester, working 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. 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.
User Since Saturday, 10 November 2018
User Page Views 225
Published Papers of Dr. Yehia Abd Alrahman
Conference Chairings of Dr. Yehia Abd Alrahman
Conference Committees of Dr. Yehia Abd Alrahman
Paper Reviews by Dr. Yehia Abd Alrahman
Conference Talks by Dr. Yehia Abd Alrahman