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:
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

59 works between 2001 and 2026

21 - 40 of 59 works

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

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

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

Journal Article

Technology for societal change: evaluating a mobile app addressing the emotional needs of people experiencing homelessness

Burrows, Rachel, Mendoza, Antonette, Pedell, Sonja, Sterling, Leon, Miller, Tim and Lopez-Lorca, Alexi (2022). Technology for societal change: evaluating a mobile app addressing the emotional needs of people experiencing homelessness. Health Informatics Journal, 28 (4) 14604582221146720. doi: 10.1177/14604582221146720

Technology for societal change: evaluating a mobile app addressing the emotional needs of people experiencing homelessness

2022

Journal Article

Efficient multi-agent epistemic planning: teaching planners about nested belief

Muise, Christian, Belle, Vaishak, Felli, Paolo, McIlraith, Sheila, Miller, Tim, Pearce, Adrian R. and Sonenberg, Liz (2022). Efficient multi-agent epistemic planning: teaching planners about nested belief. Artificial Intelligence, 302 103605, 1-36. doi: 10.1016/j.artint.2021.103605

Efficient multi-agent epistemic planning: teaching planners about nested belief

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, United States, 30 April-5 May 2022. New York, United States: Association for 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

2021

Conference Publication

Invertible concept-based explanations for CNN models with non-negative concept activation vectors

Zhang, Ruihan, Madumal, Prashan, Miller, Tim, Ehinger, Krista A. and Rubinstein, Benjamin I. P. (2021). Invertible concept-based explanations for CNN models with non-negative concept activation vectors. 35th AAAI Conference on Artificial Intelligence / 33rd Conference on Innovative Applications of Artificial Intelligence / 11th Symposium on Educational Advances in Artificial Intelligence, Virtual, 2-9 February 2021. Palo Alto, CA United States: Association for the Advancement of Artificial Intelligence. doi: 10.1609/aaai.v35i13.17389

Invertible concept-based explanations for CNN models with non-negative concept activation vectors

2021

Journal Article

Contrastive explanation: a structural-model approach

Miller, Tim (2021). Contrastive explanation: a structural-model approach. The Knowledge Engineering Review, 36 e14, 1-24. doi: 10.1017/s0269888921000102

Contrastive explanation: a structural-model approach

2020

Journal Article

Combining gaze and AI planning for online human intention recognition

Singh, Ronal, Miller, Tim, Newn, Joshua, Velloso, Eduardo, Vetere, Frank and Sonenberg, Liz (2020). Combining gaze and AI planning for online human intention recognition. Artificial Intelligence, 284 103275, 1-16. doi: 10.1016/j.artint.2020.103275

Combining gaze and AI planning for online human intention recognition

2020

Journal Article

Explainable artificial intelligence models using real-world electronic health record data: a systematic scoping review

Payrovnaziri, Seyedeh Neelufar, Chen, Zhaoyi, Rengifo-Moreno, Pablo, Miller, Tim, Bian, Jiang, Chen, Jonathan H., Liu, Xiuwen and He, Zhe (2020). Explainable artificial intelligence models using real-world electronic health record data: a systematic scoping review. Journal of the American Medical Informatics Association, 27 (7), 1173-1185. doi: 10.1093/jamia/ocaa053

Explainable artificial intelligence models using real-world electronic health record data: a systematic scoping review

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

2019

Journal Article

Explanation in artificial intelligence: insights from the social sciences

Miller, Tim (2019). Explanation in artificial intelligence: insights from the social sciences. Artificial Intelligence, 267, 1-38. doi: 10.1016/j.artint.2018.07.007

Explanation in artificial intelligence: insights from the social sciences

2018

Journal Article

Explaining Explanation, Part 4: A Deep Dive on Deep Nets

Hoffman, Robert, Miller, Tim, Mueller, Shane T., Klein, Gary and Clancey, William J. (2018). Explaining Explanation, Part 4: A Deep Dive on Deep Nets. Ieee Intelligent Systems, 33 (3), 87-95. doi: 10.1109/MIS.2018.033001421

Explaining Explanation, Part 4: A Deep Dive on Deep Nets

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

2017

Journal Article

Sustainability is possible despite greed - Exploring the nexus between profitability and sustainability in common pool resource systems

von der Osten, Friedrich Burkhard, Kirley, Michael and Miller, Tim (2017). Sustainability is possible despite greed - Exploring the nexus between profitability and sustainability in common pool resource systems. Scientific Reports, 7 2307. doi: 10.1038/s41598-017-02151-y

Sustainability is possible despite greed - Exploring the nexus between profitability and sustainability in common pool resource 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:
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:

communications@uq.edu.au