Artur is a lecturer at the School of Computing and Mathematical Sciences of the University of Leicester (UK). His 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 and formal methods in the intersection of the two areas above. For more information about him, go to: