Professor Tim Miller
Professor in Artificial Intelligence & UQ-TIET Chair in Data Science
School of Electrical Engineering and Computer Science
Researcher biography
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.
Publications
Book
Miller, Tim (2024). Mastering Reinforcement Learning. Brisbane, Australia: The University of Queensland. doi: 10.14264/4bf1412
Book Chapters
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
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
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).
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
Journal Articles
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
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
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
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
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
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
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
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
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
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
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
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
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
Conference Papers
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
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
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
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
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
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.
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.
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
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
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
Thesis
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
Department Technical Reports
Miller, Tim and Strooper, Paul (2002). A Framework for Systematic Specification Animation. Technical Report 02-35. Software Verification Research Centre, School of Information Technology, The University of Queensland.
Miller, Tim and Strooper, Paul (2001). Combining the Animation and Testing of Abstract Data Types. Technical Report 01-17. Software Verification Research Centre, School of Information Technology, The University of Queensland.