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.
Our recent research includes the modelling of large-scale urban environments to support the digital transformation of cities towards Smart Cities. These opportunities come with multiple innovation challenges, not only from a technological perspective but also, for the management of this transformation that involves public authorities and citizens. Read more
News
| 31/05/2020 | Our research group website is online. |
