Overview
Background
I am a Professor of Artificial Intelligence in the School of Electrical Engineering and Computer Science at The University of Queensland, Meaanjin/Brisbane, Australia.
My research draws on machine learning, reinforcement learning, AI planning, interaction design, and cognitive science, to help people to make better decisions. I have done work on areas including explainable AI, human-AI planning, and human-centered decision support.
Prior to my appointment at The University of Queensland, Tim was a Professor of Computer Science in the School of Computing and Information Systems at The University of Melbourne, where I was founding co-director of The Centre for AI and Digital Ethics. I am an honorary professor at the University of Melbourne.
If you are an organisation applying artificial intelligence or looking to apply artificial intelligence, especially in south-east Queensland, please reach out. I am always interested to hear what organisations are currently doing, the opportunities and barriers in this space, and how the University of Queensland can help.
If you are prospective PhD student interested in studying for a PhD under my supervisor, see here.
Availability
- Professor Tim Miller is:
- Not available for supervision
- Media expert
Qualifications
- Doctor of Philosophy of Computer Science, The University of Queensland
Works
Search Professor Tim Miller’s works on UQ eSpace
2017
Journal Article
Methods for Supporting Older Users in Communicating Their Emotions at Different Phases of a Living Lab Project
Pedell, Sonja, Keirnan, Alen, Priday, Gareth, Miller, Tim, Mendoza, Antonette, Lopez-Lorca, Antonio and Sterling, Leon (2017). Methods for Supporting Older Users in Communicating Their Emotions at Different Phases of a Living Lab Project. Technology Innovation Management Review, 7 (2), 7-19.
2017
Journal Article
Logics of Common Ground
Miller, Tim, Pfau, Jens, Sonenberg, Liz and Kashima, Yoshihisa (2017). Logics of Common Ground. Journal of Artificial Intelligence Research, 58, 859-904. doi: 10.1613/jair.5381
2016
Journal Article
Requirements specification via activity diagrams for agent-based systems
Abushark, Yoosef, Miller, Tim, Thangarajah, John, Winikoff, Michael and Harland, James (2016). Requirements specification via activity diagrams for agent-based systems. Autonomous Agents and Multi-Agent Systems, 31 (3), 423-468. doi: 10.1007/s10458-016-9327-7
2016
Conference Publication
'Knowing Whether' in Proper Epistemic Knowledge Bases
Miller, Tim, Felli, Paolo, Muise, Christian, Pearce, Adrian R. and Sonenberg, Liz (2016). 'Knowing Whether' in Proper Epistemic Knowledge Bases. 30th Association-for-the-Advancement-of-Artificial-Intelligence (AAAI) Conference on Artificial Intelligence, Phoenix Az, Feb 12-17, 2016. PALO ALTO: ASSOC ADVANCEMENT ARTIFICIAL INTELLIGENCE.
2015
Journal Article
Emotion-led modelling for people-oriented requirements engineering: The case study of emergency systems
Miller, Tim, Pedell, Sonja, Lopez-Lorca, Antonio A., Mendoza, Antonette, Sterling, Leon and Keirnan, Alen (2015). Emotion-led modelling for people-oriented requirements engineering: The case study of emergency systems. Journal of Systems and Software, 105, 54-71. doi: 10.1016/j.jss.2015.03.044
2015
Conference Publication
Planning Over Multi-Agent Epistemic States: A Classical Planning Approach
Muise, Christian, Belle, Vaishak, Felli, Paolo, McIlraith, Sheila, Miller, Tim, Pearce, Adrian R. and Sonenberg, Liz (2015). Planning Over Multi-Agent Epistemic States: A Classical Planning Approach. 29th Association-for-the-Advancement-of-Artificial-Intelligence (AAAI) Conference on Artificial Intelligence, Austin Tx, Jan 25-30, 2015. PALO ALTO: ASSOC ADVANCEMENT ARTIFICIAL INTELLIGENCE.
2015
Conference Publication
Proper Epistemic Knowledge Bases Efficient Reasoning with Consistent
Muise, Christian, Miller, Tim, Felli, Paolo, Pearce, Adrian R. and Sonenberg, Liz (2015). Proper Epistemic Knowledge Bases Efficient Reasoning with Consistent. 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS), Istanbul Turkey, May 04-08, 2015. NEW YORK: ASSOC COMPUTING MACHINERY.
2015
Conference Publication
Early Detection of Design Faults Relative to Requirement Specifications in Agent-Based Models
Abushark, Yoosef, Thangarajah, John, Miller, Tim, Harland, James and Winikoff, Michael (2015). Early Detection of Design Faults Relative to Requirement Specifications in Agent-Based Models. 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS), Istanbul Turkey, May 04-08, 2015. NEW YORK: ASSOC COMPUTING MACHINERY.
2015
Conference Publication
Computing Social Behaviours Using Agent Models
Felli, Paolo, Miller, Tim, Muise, Christian, Pearce, Adrian R. and Sonenberg, Liz (2015). Computing Social Behaviours Using Agent Models. 1st International Workshop on Social Influence Analysis / 24th International Joint Conference on Artificial Intelligence (IJCAI), Buenos Aires Argentina, Jul 25-31, 2015. FREIBURG: IJCAI-INT JOINT CONF ARTIF INTELL.
2014
Journal Article
Requirements Elicitation and Specification Using the Agent Paradigm: The Case Study of an Aircraft Turnaround Simulator
Miller, Tim, Bin Lu, , Sterling, Leon, Beydoun, Ghassan and Taveter, Kuldar (2014). Requirements Elicitation and Specification Using the Agent Paradigm: The Case Study of an Aircraft Turnaround Simulator. IEEE Transactions on Software Engineering, 40 (10), 1007-1024. doi: 10.1109/tse.2014.2339827
2014
Conference Publication
Checking Consistency of Agent Designs Against Interaction Protocols for Early-Phase Defect Location
Abushark, Yoosef, Thangarajah, John, Miller, Tim and Harland, James (2014). Checking Consistency of Agent Designs Against Interaction Protocols for Early-Phase Defect Location. International Conference on Autonomous Agents and Multiagent Systems (AAMAS), Paris France, May 05-09, 2014. NEW YORK: ASSOC COMPUTING MACHINERY.
2013
Journal Article
Efficient storage and retrieval in agent protocol libraries using subsumption hierarchies
Miller, Tim and McBurney, Peter (2013). Efficient storage and retrieval in agent protocol libraries using subsumption hierarchies. Multiagent and Grid Systems, 9 (2), 101-134. doi: 10.3233/mgs-130202
2013
Journal Article
Using Dependency Structures for Prioritization of Functional Test Suites
Haidry, Shifa-e-Zehra and Miller, Tim (2013). Using Dependency Structures for Prioritization of Functional Test Suites. IEEE Transactions on Software Engineering, 39 (2), 258-275. doi: 10.1109/tse.2012.26
2012
Journal Article
Understanding socially oriented roles and goals through motivational modelling
Miller, Tim, Pedell, Sonja, Sterling, Leon, Vetere, Frank and Howard, Steve (2012). Understanding socially oriented roles and goals through motivational modelling. Journal of Systems and Software, 85 (9), 2160-2170. doi: 10.1016/j.jss.2012.04.049
2012
Journal Article
A case study in model-based testing of specifications and implementations
Miller, Tim and Strooper, Paul (2012). A case study in model-based testing of specifications and implementations. Software Testing, Verification and Reliability, 22 (1), 33-63. doi: 10.1002/stvr.431
2005
Conference Publication
CZT support for Z extensions
Miller, Tim, Freitas, Leo, Malik, Petra and Utting, Mark (2005). CZT support for Z extensions. IFM 2005: Integrated Formal Methods, Eindhoven, The Netherlands, 29 November - 2 December 2005. Berlin, Germany: Springer. doi: 10.1007/11589976_14
2005
Other Outputs
Using specification animation to support specification testing and software testing
Miller, Timothy (2005). Using specification animation to support specification testing and software testing. PhD Thesis, School of Information Technology and Electrical Engineering, The University of Queensland. doi: 10.14264/275872
2004
Conference Publication
Integrating formal specification and software verification and validation
Duke, Roger, Miller, Tim and Strooper, Paul (2004). Integrating formal specification and software verification and validation. CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, 18-19 November 2004. Heidelberg, Germany: Springer. doi: 10.1007/978-3-540-30472-2_8
2001
Conference Publication
Animation can show only the presence of errors, never their absence
Miller, Tim and Strooper, Paul (2001). Animation can show only the presence of errors, never their absence. Australian Software Engineering Conference, ASWEC 2001, Canberra, ACT, Australia, 27-28 August 2001. Los Alamitos, CA, United States: IEEE Computer Society. doi: 10.1109/ASWEC.2001.948500
Funding
Current funding
Supervision
Availability
- Professor Tim Miller is:
- Not available for supervision
Supervision history
Current supervision
-
Doctor Philosophy
Human-centered verification of language model outputs
Principal Advisor
Other advisors: Professor Guido Zuccon, Dr Joel Mackenzie
-
Master Philosophy
Explainable decision support for skin cancer detection using machine learning
Principal Advisor
Other advisors: Dr Alina Bialkowski
-
Doctor Philosophy
Developing inclusive and culturally sensitive design guidelines for AI-enabled smart homes for people with disabilities in developing countries, based on local needs, preferences, and values
Associate Advisor
Other advisors: Associate Professor Dhaval Vyas
-
Doctor Philosophy
Human in the Loop Decision Systems for Online Safety
Associate Advisor
Other advisors: Professor Gianluca Demartini
Media
Enquiries
Contact Professor Tim Miller directly for media enquiries about:
- artificial intelligence
Need help?
For help with finding experts, story ideas and media enquiries, contact our Media team: