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