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
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
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. doi: 10.1016/j.artint.2020.103275
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
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
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
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
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
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
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
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
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
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.
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
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: Dr 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: