Dr Amal Elgammal

Amal Elgammal, PhD

Hi, I am currently a Research Fellow in the Distributed Systems Group (DSG) at Trinity College Dublin. My research interests ‎revolve around: Formal Reasoning and Analysis; Dynamic Service Adaptation; Smart Cities; Models@run.time; Web Services composition and analysis; Business Process Verification and Analysis; Governance, Risk Management and Compliance (GRC); Ontology Engineering.

email: amal.elgammal@scss.tcd.ie‎

Publications

Expertise

Business process verification and analysis.

Model-driven Engineering.

Governance, Risk Management and Compliance (GRC).

Service-oriented computing.

Web Services Composition and verification.

OO/UML modeling/Implementation.

Formal Methods, Automata theory and Model-checking techniques.

Amal Elgammal, PhD

Expertise Business process verification and analysis. Model-driven Engineering. Governance, Risk Management and Compliance (GRC). Service-oriented computing. Web Services Composition and verification. OO/UML modeling/Implementation. Formal Methods, Automata theory and Model-checking techniques.