Dr Mark Utting

Profile image of Dr Mark Utting

Contact

+61 7 3138 0773

View location details(QUT staff and student access only)

Personal details

Keywords

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

Discipline

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

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

Qualifications

  • Doctor of Philosophy (University of New South Wales)

Professional memberships and associations

Member ACM, Member of IFIP Working Group 2.3

Experience

Publications

QUT ePrints

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

View more publications

Supervision