Dr Timothy Miller

Research Interests

  • Artificial intelligence (Intelligent agents and multi-agent systems)
  • Modelling and simulation of complex systems (Simulation of economic markets)
  • Software Engineering

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. Lin Y, Miller T, Sondergaard H. Compositional symbolic execution using fine-grained summaries. 24th Australasian Software Engineering Conference (ASWEC). IEEE. 2015.
  2. Felli P, Miller T, Muise C, Pearce A, Sonenberg E. Computing Social Behaviours Using Agent Models. Interna. 2015. Editors: Yang Q, Wooldridge M.
  3. Abushark Y, Thangarajah J, Miller T, Harland J, Winikoff M. Early Detection of Design Faults Relative to Requirement Specifications in Agent-Based Models. 2015 International Conference on Autonomous Agents and Multiagent Systems (AAMAS). 2015.
  4. Muise C, Miller T, Felli P, Pearce A, Sonenberg E. Efficient reasoning with consistent proper epistemic knowledge bases. 2015 International Conference on Autonomous Agents and Multiagent Systems (AAMAS). The Association for Computing Machinery. 2015.
  5. Miller T, Pedell S, Lopez-Lorca AA, Mendoza A, Sterling L, Keirnan A. Emotion-led modelling for people-oriented requirements engineering: The case study of emergency systems. JOURNAL. Elsevier. 2015, Vol. 105.
  6. Muise C, Belle V, Felli P, McIlraith SA, Miller T, Pearce A, Sonenberg E. Planning Over Multi-Agent Epistemic States: A Classical Planning Approach. Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence. AAAI Press. 2015. Editors: Bonet B, Koenig S.
  7. Muise C, Dignum F, Felli P, Miller T, Pearce A, Sonenberg E. Towards Team Formation via Automated Planning. Interna. AAAI Press. 2015.
  8. Clarke D, Miller T, Mendoza A. Using "Must" and "May" Summaries to Detect Data Races in Java Bytecode That Does Not Rely on the Synchronized Construct. 2015 24th Australasian Software Engineering Conference (ASWEC). 2015.
  9. Alatawi E, Miller T, Sondergaard H. Using metamorphic testing to improve dynamic symbolic execution. 24th Australasian Software Engineering Conference (ASWEC). IEEE. 2015.
  10. Singh R, Miller T, Sonenberg E. A Preliminary Analysis of Interdependence in Multiagent Systems. 17th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA). Springer Verlag. 2014, Vol. 8861. Editors: Dam HK, Pitt J, Xu Y, Governatori G, Ito T.
  11. Von Der Osten F, Kirley M, Miller T. Anticipatory stigmergic collision avoidance under noise. 2014 Genetic and Evolutionary Computation Conference (GECCO). ACM Press. 2014.
  12. Felli P, Miller T, Muise C, Pearce A, Sonenberg E. Artificial Social Reasoning: Computational Mechanisms for Reasoning about Others. 6th International Conference on Social Robotics (ICSR). Springer Verlag. 2014, Vol. 8755. Editors: Beetz M, Johnston B, Williams MA.
  13. Abushark Y, Thangarajah J, Miller T, Harland J. Checking Consistency of Agent Designs Against Interaction Protocols for Early-Phase Defect Location. International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS). ACM Press. 2014.
  14. Abushark Y, Winikoff M, Miller T, Harland J, Thangarajah J. Checking The Correctness of Agent Designs Against Model-Based Requirements. 21ST EU. IOS Press. 2014, Vol. 263. Editors: Schaub T, Friedrich G, Osullivan B.
  15. Miller T, Lopez-Lorca A, Pedell S, Sterling L. Don't Leave Me Untouched: Considering Emotions in Personal Alarm Use and Development. Healthcare Informatics and Analytics: Emerging Issues and Trends. 2014. Editors: Tavana M, Ghapanchi A, Talaei-Khoei A.

Timothy Miller

Level: 06 Room: 6.09
Doug Mcdonell Building, Parkville
University of Melbourne
3010 Australia

T: +61 3 83441318
E: tmiller@unimelb.edu.au

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