Mark Utting
Associate Professor In Software Engineering
Queensland, Australia
Summary
👤
Senior🎓
Top SchoolMark Utting is an Associate Professor in Software Engineering with over 25 years of academic and industry experience and 11 years in his current senior roles across Australian universities. He combines deep expertise in software verification, theorem proving, and model-based testing with practical work in programming languages, AI, data science and renewable energy systems. His research-driven teaching and leadership have spanned formal methods, parallel programming and smart-grid simulations, and he has contributed to high-performance bioinformatics tooling in industry. Holding a PhD in Computer Science from UNSW, he is known for bridging rigorous correctness techniques with applied system design—often bringing formal verification ideas into real-world domains like blockchain and energy grids. Colleagues value him for turning theoretical methods into testable, scalable software and for a sustained record of mentoring programs and coordinating ICT curricula.
11 years of coding experience
24 years of employment as a software developer
Doctor of Philosophy (Ph.D.), Computer Science, Doctor of Philosophy (Ph.D.), Computer Science at UNSW AustraliaMaster's Degree, Computer Science, Master's Degree, Computer Science at University of Waikato
Github Skills (48)
javascript10
python10
graalvm10
polyglot10
rocket10
java10
ruby10
anaconda10
aot10
compiler10
spyder9
language-server-protocol9
ide9
pyqt9
development-environment8
Programming languages (7)
Github contributions (5)
PHILAE-PROJECT/agilkia
Mar 2022 - Dec 2022
Contributions:39 commits, 18 pushes, 1 branch in 9 months
utting/WhileyCompiler
Jan 2016 - Dec 2017
Contributions:2 PRs, 34 pushes, 2 branches in 1 year 11 months
compilerprogramming-language
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.