Dr Timothy Miller

  • Room: Level: 06 Room: 6.09
  • Building: Doug McDonell Building
  • Campus: Parkville

Research interests

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

Personal webpage



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.

Recent publications

  1. Winfree T, Goldacre P, Sherkat M, Graham P, Mendoza A, Miller T. Learning for Low Carbon Living: The potential of mobile learning applications for built environment trades and professionals in Australia. International High- Performance Built Environment Conference – A Sustainable Built Environment Conference 2016 Series (SBE16). Elsevier. 2017.
  2. Pedell S, Keirnan A, Priday G, Miller T, Mendoza A, Lopez-Lorca A, Sterling L. Methods for Supporting Older Users in Communicating Their Emotions at Different Phases of a Living Lab Project. Technology Innovation Management Review. 2017, Vol. 7, Issue 2.
  3. Abushark Y, Thangarajah J, Harland J, Miller T. A systematic approach for detecting defects in agent designs. Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS. 2016.
  4. Miller T, Muise C. Belief update for proper epistemic knowledge bases. 25th International Joint Conference on Artificial Intelligence (IJCAI). 2016, Vol. 2016-January.
  5. Singh R, Sonenberg E, Miller T. Communication and Shared Mental Models for Teams Performing Interdependent Tasks. AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS. Springer Verlag. 2016, Vol. 10002. Editors: Osman N, Sierra C.
  6. Li S, Sun W, Miller T. Communication in human-agent teams for tasks with joint action. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag. 2016, Vol. 9628.
  7. Lin Y, Miller T, Sondergaard H. Compositional Symbolic Execution: Incremental Solving Revisited. 23rd Asia-Pacific Software Engineering Conference (APSEC). IEEE. 2016. Editors: Potanin A, Murphy G.
  8. Sherkat M, Miller T, Mendoza A. Does It Fit Me Better? User Segmentation in Requirements Engineering. 23rd Asia-Pacific Software Engineering Conference (APSEC). IEEE. 2016.
  9. Alatawi E, Miller T. Generating Source Inputs for Metamorphic Testing Using Dynamic Symbolic Execution. 1st IEEE/ACM International Workshop on Metamorphic Testing (MET). IEEE. 2016, Vol. 16.
  10. Miller T, Felli P, Muise C, Pearce A, Sonenberg E. Knowing Whether in proper epistemic knowledge bases. 30th AAAI Conference on Artificial Intelligence (AAAI). 2016.
  11. Muise C, Felli P, Miller T, Pearce A, Sonenberg E. Planning for a single agent in a multi-agent environment using FOND. 25th International Joint Conference on Artificial Intelligence (IJCAI). 2016, Vol. 2016-January.
  12. Abushark Y, Miller T, Thangarajah J, Winikoff M, Harland J. Requirements specification via activity diagrams for agent-based systems. Autonomous Agents and Multi-Agent Systems. Springer. 2016.
  13. Sonenberg E, Miller T, Pearce A, Felli P, Muise CJ, Dignum F. Social planning for social HRI. 2nd Workshop on Cognitive Architectures for Social Human-Robot Interaction (CogArch4sHRI). arXiv.org. 2016, Vol. abs/1602.06483. Editors: Baxter P, Trafton G, Lemaignan S.
  14. Muise C, Dignum F, Felli P, Miller T, Pearce A, Sonenberg E. Towards team formation via automated planning. International Workshop on Coordination, Organisation, Institutions and Norms in Multi-Agent Systems (COIN@IJCAI). Springer Verlag. 2016, Vol. 9628.
  15. Lin Y, Miller T, Sondergaard H. Compositional Symbolic Execution using Fine-Grained Summaries. 2015 24TH AUSTRALASIAN SOFTWARE ENGINEERING CONFERENCE (ASWEC 2015). IEEE. 2015.

View a full list of publications on the University of Melbourne’s ‘Find An Expert’ profile