Skip to menu Skip to content Skip to footer
Professor Tim Miller
Professor

Tim Miller

Email: 

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:
Available for supervision

Qualifications

  • Doctor of Philosophy of Computer Science, The University of Queensland

Works

Search Professor Tim Miller’s works on UQ eSpace

31 works between 2001 and 2024

1 - 20 of 31 works

2024

Book Chapter

Towards the New XAI: A Hypothesis-Driven Approach to Decision Support Using Evidence

Le, Thao, Miller, Tim, Sonenberg, Liz and Singh, Ronal (2024). Towards the New XAI: A Hypothesis-Driven Approach to Decision Support Using Evidence. Frontiers in Artificial Intelligence and Applications. IOS Press. doi: 10.3233/faia240571

Towards the New XAI: A Hypothesis-Driven Approach to Decision Support Using Evidence

2024

Conference Publication

How to Validate XAI in Longitudinal Studies?

Gjoreski, Martin, Laporte, Matias, Langheinrich, Marc and Miller, Tim (2024). How to Validate XAI in Longitudinal Studies?. ACM International Joint Conference on Pervasive and Ubiquitous Computing / ACM International Symposium on Wearable Computers (UbiComp/ISWC), Melbourne Australia, Oct 05-09, 2024. New York, NY, USA: ACM. doi: 10.1145/3675094.3678997

How to Validate XAI in Longitudinal Studies?

2024

Journal Article

Using conversant artificial intelligence to improve diagnostic reasoning: ready for prime time?

Scott, Ian A., Miller, Tim and Crock, Carmel (2024). Using conversant artificial intelligence to improve diagnostic reasoning: ready for prime time?. Medical Journal of Australia, 221 (5), 240-243. doi: 10.5694/mja2.52401

Using conversant artificial intelligence to improve diagnostic reasoning: ready for prime time?

2024

Journal Article

Capturing the ghost in the machine: a process for development and validation of measures of phenomenal consciousness in delirium

Eeles, Eamonn, Tran, David Duc, Ward, Sarah, Teodorczuk, Andrew, Ray, Julian, Miller, Tim and Dissanayaka, Nadeeka N. (2024). Capturing the ghost in the machine: a process for development and validation of measures of phenomenal consciousness in delirium. Age and Ageing, 53 (7) afae144. doi: 10.1093/ageing/afae144

Capturing the ghost in the machine: a process for development and validation of measures of phenomenal consciousness in delirium

2024

Book

Mastering Reinforcement Learning

Miller, Tim (2024). Mastering Reinforcement Learning. Brisbane, Australia: The University of Queensland. doi: 10.14264/4bf1412

Mastering Reinforcement Learning

2024

Book Chapter

Transforming food production with AI

Cooper, Mark, Hickey, Lee, Jiang, Xianxian, La Fata, Giorgio, Lomas, Harold, Miller, Tim, O’Brien, Susan, Patel, Parth and Tomarchio, Samuel (2024). Transforming food production with AI. Food AI: A game changer for Australia’s food and beverage sector. (pp. 5-13) edited by Janet R. McColl-Kennedy and Damian Hine. Brisbane, QLD, Australia: The University of Queensland, Australia's Food and Beverage Accelerator (FaBA).

Transforming food production with AI

2024

Book Chapter

Demystifying consumer-facing fintech accountability for automated advice tools

Paterson, Jeannie, Miller, Tim and Lyons, Henrietta (2024). Demystifying consumer-facing fintech accountability for automated advice tools. Money, power, and AI: automated banks and automated state. (pp. 29-50) edited by Zofia Bednarz and Monika Zalnieriute. Cambridge, United Kingdom: Cambridge University Press. doi: 10.1017/9781009334297.005

Demystifying consumer-facing fintech accountability for automated advice tools

2023

Journal Article

Directive explanations for actionable explainability in machine learning applications

Singh, Ronal, Miller, Tim, Lyons, Henrietta, Sonenberg, Liz, Velloso, Eduardo, Vetere, Frank, Howe, Piers and Dourish, Paul (2023). Directive explanations for actionable explainability in machine learning applications. ACM Transactions on Interactive Intelligent Systems, 13 (4) 23, 1-26. doi: 10.1145/3579363

Directive explanations for actionable explainability in machine learning applications

2023

Conference Publication

Explainable AI is dead, long live explainable AI! : hypothesis-driven decision support using evaluative AI

Miller, Tim (2023). Explainable AI is dead, long live explainable AI! : hypothesis-driven decision support using evaluative AI. 2023 ACM Conference on Fairness, Accountability, and Transparency, Chicago, IL, United States, 12–15 June 2023. New York, NY, United States: ACM. doi: 10.1145/3593013.3594001

Explainable AI is dead, long live explainable AI! : hypothesis-driven decision support using evaluative AI

2023

Conference Publication

Algorithmic decisions, desire for control, and the preference for human review over algorithmic review

Lyons, Henrietta, Miller, Tim and Velloso, Eduardo (2023). Algorithmic decisions, desire for control, and the preference for human review over algorithmic review. 2023 ACM Conference on Fairness, Accountability, and Transparency, Chicago, IL, United States, 12–15 June 2023. New York, NY, United States: ACM. doi: 10.1145/3593013.3594041

Algorithmic decisions, desire for control, and the preference for human review over algorithmic review

2023

Journal Article

Model tree methods for explaining deep reinforcement learning agents in real-time robotic applications

Gjaerum, Vilde B., Strumke, Inga, Lover, Jakob, Miller, Timothy and Lekkas, Anastasios M. (2023). Model tree methods for explaining deep reinforcement learning agents in real-time robotic applications. Neurocomputing, 515, 133-144. doi: 10.1016/j.neucom.2022.10.014

Model tree methods for explaining deep reinforcement learning agents in real-time robotic applications

2022

Conference Publication

Characterizing text revisions to better support collaborative

Ping, Tan Ping, Verspoor, Karin and Miller, Timothy (2022). Characterizing text revisions to better support collaborative. 2022 International Conference on Digital Transformation and Intelligence (ICDI), Kuching, Sarawak, Malaysia, 1-2 December 2022. Piscataway, NJ, United States: Institute of Electrical and Electronics Engineers. doi: 10.1109/ICDI57181.2022.10007395

Characterizing text revisions to better support collaborative

2022

Conference Publication

What's the Appeal? Perceptions of Review Processes for Algorithmic Decisions

Lyons, Henrietta, Wijenayake, Senuri, Miller, Tim and Velloso, Eduardo (2022). What's the Appeal? Perceptions of Review Processes for Algorithmic Decisions. CHI Conference on Human Factors in Computing Systems (CHI), New Orleans La, Apr 30-May 05, 2022. NEW YORK: ASSOC COMPUTING MACHINERY. doi: 10.1145/3491102.3517606

What's the Appeal? Perceptions of Review Processes for Algorithmic Decisions

2021

Journal Article

Modeling communication of collaborative multiagent system under epistemic planning

Alshehri, Abeer, Miller, Tim and Sonenberg, Liz (2021). Modeling communication of collaborative multiagent system under epistemic planning. International Journal of Intelligent Systems, 36 (10), 5959-5980. doi: 10.1002/int.22536

Modeling communication of collaborative multiagent system under epistemic planning

2020

Journal Article

Demand-Driven Transparency for Monitoring Intelligent Agents

Vered, Mor, Howe, Piers, Miller, Tim, Sonenberg, Liz and Velloso, Eduardo (2020). Demand-Driven Transparency for Monitoring Intelligent Agents. IEEE Transactions on Human-Machine Systems, 50 (3), 264-275. doi: 10.1109/thms.2020.2988859

Demand-Driven Transparency for Monitoring Intelligent Agents

2019

Journal Article

XAI—Explainable artificial intelligence

Gunning, David, Stefik, Mark, Choi, Jaesik, Miller, Timothy, Stumpf, Simone and Yang, Guang-Zhong (2019). XAI—Explainable artificial intelligence. Science Robotics, 4 (37). doi: 10.1126/scirobotics.aay7120

XAI—Explainable artificial intelligence

2019

Conference Publication

Motivational Modelling in Software for Homelessness: Lessons from an Industrial Study

Burrows, Rachel, Lopez-Lorca, Antonio, Sterling, Leon, Miller, Tim, Mendoza, Antonette and Pedell, Sonja (2019). Motivational Modelling in Software for Homelessness: Lessons from an Industrial Study. 2019 IEEE 27th International Requirements Engineering Conference (RE), Jeju, Korea, 23-27 September 2019. Piscataway, NJ United States: Institute of Electrical and Electronics Engineers. doi: 10.1109/re.2019.00039

Motivational Modelling in Software for Homelessness: Lessons from an Industrial Study

2018

Book Chapter

Social Planning for Trusted Autonomy

Miller, Tim, Pearce, Adrian R. and Sonenberg, Liz (2018). Social Planning for Trusted Autonomy. Foundations of Trusted Autonomy. (pp. 67-86) Cham, Switzerland: Springer. doi: 10.1007/978-3-319-64816-3_4

Social Planning for Trusted Autonomy

2017

Journal Article

A framework for automatically ensuring the conformance of agent designs

Abushark, Yoosef, Thangarajah, John, Harland, James and Miller, Tim (2017). A framework for automatically ensuring the conformance of agent designs. Journal of Systems and Software, 131, 266-310. doi: 10.1016/j.jss.2017.05.098

A framework for automatically ensuring the conformance of agent designs

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

Requirements specification via activity diagrams for agent-based systems

Funding

Current funding

  • 2024 - 2029
    Implementation, Effectiveness and Sustainability of a Co-designed Value-based Brief Intervention Model of Healthcare in Alcohol and Other Drug Services
    NHMRC Partnership Projects
    Open grant

Supervision

Availability

Professor Tim Miller is:
Available for supervision

Before you email them, read our advice on how to contact a supervisor.

Supervision history

Current supervision

Media

Enquiries

For media enquiries about Professor Tim Miller's areas of expertise, story ideas and help finding experts, contact our Media team:

communications@uq.edu.au