Artur Moll
Associate Professor
Leicester, England, United Kingdom
Summary
👤
Senior🎓
Top SchoolArtur Moll is an Associate Professor in Computing and Mathematical Sciences at the University of Leicester, combining academic leadership as Director of Undergraduate Programmes with hands-on research in agile cloud software, DSLs, model-driven engineering and the intersection of AI and formal methods. He earned a PhD (Doctor Cum Laude) from UPV and has held visiting research posts at UIUC and UPC, bringing an international perspective to applied research in healthcare and Industry 4.0. Artur has secured competitive funding including Innovate UK and acts as technical lead on an ESA-funded personalised exercise platform, demonstrating his ability to translate research into industry and space-sector impact. A founding member of the EPSRC MDENet, he is known for pragmatic type-theory-driven DSL design on the JVM and for bridging formal techniques with real-world manufacturing and healthcare software. An early career award for a data-migration BSc project hints at a long-standing talent for solving practical engineering problems with rigorous methods.
9 years of coding experience
1 year of employment as a software developer
Universitat Politècnica de València
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (10)
atl6
binary-decision-diagrams5
consistency3
zoo3
docbook2
truth2
recall1
benchmarking1
benchmark1
cps1
Programming languages (8)
Github contributions (5)
yamtl/yamtl.github.io
May 2018 - May 2022
Contributions:70 commits, 354 pushes, 4 branches in 4 years
arturboronat/microbit-uol
Feb 2019 - Mar 2022
Contributions:2 PRs, 5 pushes, 1 branch in 3 years 1 month
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.