Dr Artur Boronat

Associate Professor

Profile Photo of Artur Boronat

School/Department: Computing and Mathematical Sciences, School of

Telephone: +44 (0)116 252 2025



Artur is an associate professor at the School of Computing and Mathematical Sciences of the University of Leicester (UK). He obtained his BSc degree in Computer Science in 2002 (Ingeniero en Informática) with an award from Bancaixa/Bancaja for the final year project on data migration. He wrote his Master thesis DEA in 2004 and obtained his Ph.D. degree in Computer Science in 2007 (Doctor Cum Laude) from the Technical University of València (UPV). He has been a visiting researcher at University of Illinois at Urbana-Champaign (UIUC USA) and at Universitat Politècnica de Catalunya (UPC Spain). In 2007 he joined the University of Leicester (UK) as lecturer.

My personal page is


Artur's research interests revolve around: agile software development for the cloud using JVM technology and applications in healthcare and industry 4.0; design and implementation of DSLs using model-driven software development and type theory; application of AI technology and formal methods in the intersection of the two areas above.

Artur has secured funding from Innovate UK for developing manufacturing software infrastructure in the food industry (2018-2019). He is the principal investigator of the Informatics team in the ESA-funded project Personalised Space Technology Exercise Platform (P-STEP) (2021-2023).

He is a founding member of the EPSRC-funded MDENet: the expert network for Model-Driven Engineering.


Artur Boronat:
Incremental execution of rule-based model transformation. Int. J. Softw. Tools Technol. Transf. 23(3): 289-311 (2021)

Artur Boronat:
Offline Delta-Driven Model Transformation with Dependency Injection. FASE 2019: 134-150

Artur Boronat:
Code-First Model-Driven Engineering: On the Agile Adoption of MDE Tooling. ASE 2019: 874-886

Artur Boronat:
A Formal Framework for Prototyping Executable Semantics in ATL. ICMT 2018: 157-172

Artur Boronat:
Expressive and Efficient Model Transformation with an Internal DSL of Xtend. MoDELS 2018: 78-88

Artur Boronat:
Experimentation with a Big-Step Semantics for ATL Model Transformations. ICMT 2017: 3-18

Artur Boronat:
Structural model subtyping with OCL constraints. SLE 2017: 194-205

Juan de Lara, Esther Guerra, Artur Boronat, Reiko Heckel, Paolo Torrini:
Domain-specific discrete event modelling and simulation using graph transformation. Softw. Syst. Model. 13(1): 209-238 (2014)

Fernando Orejas, Artur Boronat, Ulrike Golas, Nikos Mylonakis:
Checking Bisimilarity for Attributed Graph Transformation. FoSSaCS 2013: 113-128


Model-driven engineering: model synchronization and consistency checking;

Machine learning applied to building software models;

Low-code software development;

Data analytics for AI using model-driven engineering;

Applications of data analytics and machine learning in the earth observation and healthcare domains;

Data-driven cloud applications.


CO7217 Agile Cloud Automation (MSc)

CO4217 Agile Cloud Automation (MComp)

CO7517 Agile Cloud Automation (DL)

CO3201 Computer Science Project (supervisor)

CO3202 Enterpreneurial Project (supervisor)

CO7201 Individual MSc project (supervisor)

Press and media

Model-driven engineering
Back to top