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.
- 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.
- 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 (iHBE). Elsevier BV. 2017, Vol. 180. Editors: Ding L, Fiorito F, Osmond P.
- 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.
- Miller T, Pfau J, Sonenberg E, Kashima Y. Logics of Common Ground. JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH. AI Access Foundation. 2017, Vol. 58.
- 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.
- Ramirez M, Papasimeon M, Benke L, Lipovetzky N, Miller T, Pearce A. Real-time UAV maneuvering via automated planning in simulations. IJCAI International Joint Conference on Artificial Intelligence. AAAI Press. 2017.
- 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. 2017, Vol. 31, Issue 3.
- Von Der Osten F, Kirley M, Miller T. Sustainability is possible despite greed - Exploring the nexus between profitability and sustainability in common pool resource systems. SCIENTIFIC REPORTS. Nature Publishing Group. 2017, Vol. 7, Issue 1.
- Von Der Osten F, Kirley M, Miller T. The minds of many: Opponent modelling in a stochastic game. IJCAI International Joint Conference on Artificial Intelligence. AAAI Press. 2017.
- Miller T, Muise C. Belief update for proper epistemic knowledge bases. 25th International Joint Conference on Artificial Intelligence (IJCAI). AAAI Press. 2016, Vol. 2016-January.
- 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.
- 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.
- Lin Y, Miller T, Sondergaard H. Compositional Symbolic Execution: Incremental Solving Revisited. 2016 23RD ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2016). IEEE. 2016. Editors: Potanin A, Murphy GC, Reeves S, Dietrich J.
- Sherkat M, Miller T, Mendoza A. Does It Fit Me Better? User Segmentation in Requirements Engineering. 2016 23RD ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2016). IEEE. 2016. Editors: Potanin A, Murphy GC, Reeves S, Dietrich J.
- Alatawi E, Miller T, Sondergaard H. Generating Source Inputs for Metamorphic Testing Using Dynamic Symbolic Execution. 1st IEEE/ACM International Workshop on Metamorphic Testing (MET). IEEE. 2016, Vol. 16.
View a full list of publications on the University of Melbourne’s ‘Find An Expert’ profile