Enterprise Architecture and Formal Modelling (EAFM)

Project Description:
Enterprise Architecture and Formal Modelling (EAFM) research group is a joint research group from Business Informatics and Formal Methods Groups at Maynooth University. EAFM mainly focuses on the role, importance, modelling verification and simulation within the extended organisational and enterprise context. Our research and projects covers from Business Processes and Information System design to Mathmeatical Modelling and Formal Verification.

Researchers: Markus Helfert (MU, IVI), Joseph Timoney (MU, CS), Hao Wu (MU, CS), Viviana Bastidas (MU, CS)

Funding: SFI/Lero

Timeframe: 2020

About the Researchers: