placeholder image

DR Timothy Miller


  • Artificial intelligence (Multi-agent systems, reasoning about action and knowledge, automated planning, human-agent interaction)



  • Dr Tim Miller is a senior lecturer (equivalent to assistant professor) in the Department of Computing and Information Systems at The University of Melbourne. 

    Dr Miller received his PhD in 2005 from the University of Queensland. He spent four years at the University of Liverpool, UK, as a software engineer and postdoctoral researcher associate in the Agent ART group. In 2008, he moved to Melbourne to take up his current post. Tim's primary interest lies in the area of software engineering for intelligent systems, especially multi-agent systems, and modelling and simulation using intelligent agents. For recognition of his hard work in successfully implementing problem-based learning in much of his teaching, In 2011, Tim received an Excellence in Teaching award from the Melbourne School of Engineering, which complemented his Excellence in Teaching awards from the Department of Computer Science and Software Engineering in 2009 and 2011.   


Member of

  • AAAI. AAAI Membership 2016 -


Selected publications


Investigator on

Additional Grant Information

    • 2013-2015: Software engineering of people-oriented technologies and services --- Australian Research Council (DP130102660). With Leon Sterling and Sonja Pedell (Swinburne).
    • 2012-2013: Improving software verification, validation, and testing for air traffic systems --- Awarded by Airservices Australia. With Adrian Pearce, Alistair Moffat, and Chris Leckie.
    • 2010-2012: Integrating and Automating Testing in Multi-agent Systems Development --- Australian Research Council (LP100100037). With Lin Padgham and John Thangarajah (RMIT).
    • 2009-2010: Intelligent reasoning in agent interaction --- Early-career researcher grant (University of Melbourne)
    Title Role Funding Source Scheme Award Date
    Integrating and Automating Testing in Multi-agent Systems Development Chief Investigator AUST RESEARCH COUNCIL Linkage Projects 01/01/2010
    Intelligent reasoning in agent interaction Chief Investigator University of Melbourne Early career research grants 01/01/2010


Education and training

  • PhD, The University of Queensland 2005
  • B.Inf Tech (Hon 1st), The University of Queensland 2000

Awards and honors

  • Excellence in Teaching, Melbourne School of Engineering, 2011


Available for supervision

  • Y

Supervision Statement

  • I am currently recruiting students who wish to undertake a research Masters or PhD degree in my areas of interest: software engineering and artificial intelligence. If you are interested, contact me with relevant CV, academic results, and a summary of what research area in which you would like to work. Any queries that do not mention specific research areas will be unlikely to receive a reply. Unfortunately, I receive many such emails, which I generally assume are spam. I do not usually have funding for students. When I do, I advertise and recruit from applicants. I'm always happy to receive emails from potential students that are serious, but note that any requests for funding will not be considered. You may be eligible for a scholarship from the University of Melbourne (see for details), but note that scholarships for international students are extremely competitive.