Associate Professor Timothy Miller

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

Research Interests

  • Artificial Intelligence (Autonomous systems)
  • Artificial Intelligence (Human-agent interaction)

Personal webpage

http://people.eng.unimelb.edu.au/tmiller/

Biography

Associate Professor Tim Miller is an academic in the School of Computing and Information Systems at The University of Melbourne. 

Tim 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 artificial intelligence, in particular human-agent interaction.

Recent publications

  1. Madumal P, Miller T, Sonenberg E, Vetere F. A Grounded Interaction Protocol for Explainable Artificial Intelligence. 18th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS). Association for Computing Machinery Inc.. 2019.
  2. Miller T. Explanation in artificial intelligence: Insights from the social sciences. ARTIFICIAL INTELLIGENCE. Elsevier BV. 2019, Vol. 267. DOI: 10.1016/j.artint.2018.07.007
  3. Miller T, Niu J, Chapman M, McBurney P. An overview and evaluation of the cat market design competition. The Oxford Handbook of Computational Economics and Finance. 2018. DOI: 10.1093/oxfordhb/9780199844371.013.18
  4. Singh R, Miller T, Newn J, Sonenberg E, Furtado De Mendonca Moncores Velloso E, Vetere F. Combining Planning with Gaze for Online Human Intention Recognition. 17th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS). Association for Computing Machinery Inc.. 2018.
  5. Singh R, Miller T, Newn J, Sonenberg E, Furtado De Mendonca Moncores Velloso E, Vetere F. Combining planning with gaze for online human intention recognition: Socially interactive agents track. International Conference on Autonomous Agents and Multiagent Systems. Association for Computing Machinery (ACM). 2018, Vol. 1.
  6. Hoffman R, Miller T, Mueller ST, Klein G, Clancey WJ. Explaining Explanation, Part 4: A Deep Dive on Deep Nets. IEEE INTELLIGENT SYSTEMS. IEEE - Institute of Electrical and Electronic Engineers. 2018, Vol. 33, Issue 3. DOI: 10.1109/MIS.2018.033001421
  7. Ramirez M, Papasimeon M, Lipovetzky N, Benke L, Miller T, Pearce A, Scala E, Zamani M. Integrated Hybrid Planning and Programmed Control for Real–Time UAV Maneuvering. 17th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS). 2018, Vol. 2.
  8. Blom M, Shekh S, Gossink D, Miller T, Pearce A. Inventory routing for defense: Moving supplies in adversarial and partially observable environments. Journal of Defense Modeling and Simulation. 2018. DOI: 10.1177/1548512918798056
  9. Alatawi E, Mendoza A, Miller T. Psychologically-Driven Requirements Engineering: A Case Study in Depression Care. 2018 25TH AUSTRALASIAN SOFTWARE ENGINEERING CONFERENCE (ASWEC). IEEE. 2018. DOI: 10.1109/ASWEC.2018.00014
  10. Miller T, Pearce A, Sonenberg E. Social Planning for Trusted Autonomy. Foundations of Trusted Autonomy. Hindawi Publishing Corp. 2018, Vol. 117. Editors: Abbass HA, Scholz J, Reid DJ. DOI: 10.1007/978-3-319-64816-3_4
  11. Alatawi E, Miller T, Sondergaard H. Symbolic Execution with Invariant Inlay: Evaluating the Potential. 2018 25TH AUSTRALASIAN SOFTWARE ENGINEERING CONFERENCE (ASWEC). IEEE. 2018. DOI: 10.1109/ASWEC.2018.00012
  12. Abushark Y, Thangarajah J, Harland J, Miller T. A framework for automatically ensuring the conformance of agent designs. JOURNAL OF SYSTEMS AND SOFTWARE. Elsevier. 2017, Vol. 131. DOI: 10.1016/j.jss.2017.05.098
  13. 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, Vol. 180. DOI: 10.1016/j.proeng.2017.04.340
  14. Alatawi E, Sondergaard H, Miller T. Leveraging abstract interpretation for efficient dynamic symbolic execution. 32nd IEEE/ACM International Conference on Automated Software Engineering. IEEE Press. 2017. Editors: Rosu G, Di Penta M, Nguyen TN.
  15. Miller T, Pfau J, Sonenberg E, Kashima Y. Logics of Common Ground. JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH. AI Access Foundation. 2017, Vol. 58. DOI: 10.1613/jair.5381

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