Associate Professor at the School of Computing and Mathematical Sciences, University of Leicester, UK.
European Doctorate in Computer Science. Senior Fellow of the Higher Education Academy.
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. Since 2018, he was Director of Undergraduate Programmes (Computer Science and Software Engineering, 2018–2023).
His research interests revolve around:
- formal methods and bounded analysis for software engineering, with applications in digital health and clinical decision support (including multimorbidity management and personalised exercise guidance for long-term health conditions);
- model-based software engineering: model transformations, metamodelling, and domain-specific languages — including tool-building (YAMTL, EMF-Syncer) and agile model-based development across JVM and mobile platforms;
- application of formal verification and AI techniques to specification, analysis, and code generation in healthcare and embedded systems.
Artur has secured funding from Innovate UK for developing manufacturing software infrastructure in the food industry (2018–2019). He is the Informatics lead (WP3000) in the ESA-funded project Personalised Space Technology Exercise Platform (P-STEP) (2021–2026), which included a Contract Change Notice extending the platform to iOS via Kotlin Multiplatform and wearable device integration. He is a founding member of the EPSRC-funded MDENet: the expert network for Model-Driven Engineering. His current h-index is 14 (Scopus), 15.05 (ResearchGate), 20 (Google Scholar).
News
- Mar 2026 — Invited talk at the LLHRG Showcasing and Networking Event, Leicester Tigers Rugby Club. Talk: Composing Clinical Activity Guidance for Multimorbidity via Bounded Relational Analysis.
- Apr 2026 — Paper to appear at FASE 2026 (ETAPS, Turin): Composing Clinical Activity Guidance for Multimorbidity via Bounded Relational Analysis.
- Apr 2026 — Paper to appear at WRLA 2026 (ETAPS, Turin): Bounded Structural Model Finding with Symbolic Data Constraints.
Contact: University profile · GitHub · LinkedIn · ORCID · Google Scholar · DBLP · SlideShare
Office: Office 610, Ken Edwards Building, School of Computing and Mathematical Sciences, University of Leicester, University Rd, Leicester, LE1 7RH, UK