Dr Mark Utting

Profile image of Dr Mark Utting

Personal details


Agent-based modelling, GPU Computing, Model-Based Testing, Parallel Programming Languages, Smart Electricity Grids, Software Engineering, Formal specification and modeling, Automated theorem proving, Multi-core and many-core programming, Java performance


Computer Software, Electrical and Electronic Engineering, Computation Theory and Mathematics

Field of Research code, Australian and New Zealand Standard Research Classification (ANZSRC), 2008


  • Doctor of Philosophy (University of New South Wales)

Professional memberships and associations

Member ACM, Member of IFIP Working Group 2.3


Selected publications

QUT ePrints

For more publications by Mark, explore their research in QUT ePrints (our digital repository).

View more publications