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.
- Miller T, Felli P, Muise C, Felli P, Muise C, Pearce A, Pearce AR, Sonenberg E, Sonenberg L. 'Knowing Whether' in Proper Epistemic Knowledge Bases. 30th AAAI Conference on Artificial Intelligence (AAAI). AAAI Press. 2016.
- Miller T, Muise C. Belief Update for Proper Epistemic Knowledge Bases. 25th International Joint Conference on Artificial Intelligence (IJCAI). AAAI Press. 2016.
- 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.
- Alatawi E, Miller T, Sondergaard H. Generating source inputs for metamorphic testing using dynamic symbolic execution. 1st International Workshop on Metamorphic Testing (MET). Association for Computing Machinery (ACM). 2016.
- Muise C, Felli P, Miller T, Pearce A, Pearce AR, Sonenberg E, Sonenberg L. Planning for a Single Agent in a Multi-Agent Environment Using FOND. 25th International Joint Conference on Artificial Intelligence (IJCAI). AAAI Press. 2016. Editors: Kambhampati S.
- 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.
- 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.
- Lin Y, Miller T, Sondergaard H. Compositional symbolic execution using fine-grained summaries. 24th Australasian Software Engineering Conference (ASWEC). IEEE. 2015.
- Felli P, Miller T, Muise C, Pearce A, Sonenberg E. Computing social behaviours using agent models. IJCAI International Joint Conference on Artificial Intelligence. 2015, Vol. 2015-January.
- Abushark Y, Thangarajah J, Miller T, Harland J, Winikoff M. Early detection of design faults relative to requirement specifications in agent-based models. Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS. 2015, Vol. 2.
- Muise C, Miller T, Felli P, Pearce A, Sonenberg E. Efficient reasoning with consistent proper epistemic knowledge bases. Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS. 2015, Vol. 3.
- 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 OF SYSTEMS AND SOFTWARE. Elsevier. 2015, Vol. 105.
- Muise C, Belle V, Felli P, McIlraith S, Miller T, Pearce A, Sonenberg E. Planning over multi-agent epistemic states: A classical planning approach. Proceedings of the National Conference on Artificial Intelligence. 2015, Vol. 5.
- Ping T, Verspoor C, Miller T. Structural Alignment as the Basis to Improve Significant Change Detection in Versioned Sentences. 13th Annual Workshop of the Australian Language Technology Association (ALTA). 2015, Vol. 13. Editors: Hachey B, Webster K.
- 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. ACM International Conference Proceeding Series. 2015, Vol. 28-September-2015.
Level: 06 Room: 6.09
Doug Mcdonell Building, Parkville
University of Melbourne
T: +61 3 83441318
View a full list of publications on the University of Melbourne’s ‘Find An Expert’ profile