Adrian Rutle

Department of Computing, Mathematics, and Physics

Office: E415



Phone: 55587791

Research field: Software engineering

Publications: Publications in Cristin


The research of Rutle  focus on the application of theoretical results from the field of model-driven software engineering. This work has recently focused on safety critical systems in the healthcare domain such as patient workflows and their verification, hospital resource management, as well as modelling and simulation of interleaving business processes incorporated with decision-making assistance. His main expertise is the development of formal modelling frameworks for domain-specific modelling languages, graph-based logic for reasoning about static and dynamic properties of models in multi-level settings, and the use of model transformations for the definition of semantics of modelling languages.