Tim Miller's Home Page
School of Computing and Information Systems
University of Melbourne
Victoria 3010, Australia
Phone: +61 3 8344 1318
Email: tmiller (at) unimelb.edu.au
Office: Room 6.09, Doug McDonell building
, The University of Melbourne, Parkville, Victoria 3010
I am an associate professor in the
School of Computing
and Information Systems at The University of Melbourne.
My main research interests are in the area of artificial intelligence, specifically:
You can learn more about my research by reading the papers on my
- Decision making in multi-agent environments
- Reasoning about action and knowledge
- Automated planning
- Human-agent interaction and collaboration
I did my PhD at the University of
Queensland, Australia, supervised by Paul Strooper. My PhD
was titled "Using Specification Animation to support Specification
Testing and Software Testing". Details of the project can be found here.
Following this, I did a postdoc in
the Department of Computer
Science at the University of
Liverpool. I was funded by
the PIPS project (Personalised
Information Platform for Health and Life Services), which aims to
develop an eHealth system that is personalised to the user. My part
of the project was specifying and designing part of a multi-agent
system for supporting complex decision making.
Please note: I am currently not looking for new PhD or masters students.
I receive many queries regarding supervision, many of which are spam. As such, I only respond to queries that I believe are genuine.
If you would like to approach me regarding PhD supervision, please demonstrate that you know my research interests and that you have similar interests, otherwise you may not receive a reply.
Current PhD and MPhil students:
Potential PhD/Masters students: I do not genereally have
funding for students. When I do, I advertise and recruit from applicants.
You may be eligible for a scholarship from the University of Melbourne
(see http://services.unimelb.edu.au/scholarships/research for details),
but note that scholarships for international students are extremely competitive.
Potential student interns: I do not usually have funding for internships.
When I do, I recruit from University of Melbourne students.
I am unable to consider any requests for paid internships.
Completed PhD students:
- Prashan Appuhamilage - Explanation in AI planning; with Liz Sonenberg and Frank Vetere
- Guang Hu - Epistemic planning
- Ronal Singh - Human-agent interaction; with Liz Sonenberg
- Lyndon Benke - Forward projection in complex environments; with Adrian Pearce and Nir Lipovetzky
- Eman Alatawi - Automated software testing with dynamic symbolic execution; with Harald Sondergaard
- Mohammad Sherkat - Systematic design for emotional goals in
people-oriented software engineering; with Antonette Mendoza
- David (Knobby) Clarke - Automated race detection in Java programs; with Antonette Mendoza and Toby Murray
- Ping Ping Tan - Heuristic approaches to automated detection of changes between versioned documents; with Karin Verspoor
- Kobita Asrafi - Automated test generation using search; with Michael Kitley
- Burkhard von der Osten - Intelligent decision-making in coupled
socio-ecological systems (PhD awarded September 2017).
- Yude Lin - Symbolic execution with Over-Approximation; with Harald Sondergaard and Toby Murray
- Yoosef Abushark (RMIT) - Static verification of agent design models; with John Thangarajah and James Harland, RMIT (PhD awarded July 2017).
- Bin Lu - Supporting Agent-Oriented Models within the Software Life Cycle; with Leon Sterling (PhD awarded in August 2012).
|Research Projects and Funding
- 2017-2018: "Why?": Causal Explanation in Trusted Autonomous Systems --- CERA Next Generation Technologies Fund grant. With Piers Howe (Melbourne School of Psychological Sciences), Liz Sonenberg (School of CIS), Glennn Moy, Luke Marsh, Darren Williams (DST Group).
- 2017-2018: Collaborative Human-Agent Planning for Survivability --- CERA Next Generation Technologies Fund grant. With Liz Sonenberg, Sergio Jimenez, and Darryn Reid (DST Group).
- 2017-2018: Collaborative Human-Agent Planning for Survivability --- with Tim Miller, Liz Sonenberg, Sergio Jimenez, and Darryn Reid (DST Group).
- 2016-2017: Survivability and Distributed Adaptability in Autonomous System --- with Don Gossink, Slava Shekh, Axel Benda, Mohammad Zamani, and others, (DST Group), Adrian Pearce, Liz Sonenberg, Michelle Blom, and Nir Lipovetzky.
- 2016-2017: Autonomous Team Tactics Discovery with Automated Planning --- with Michael Papasimeon, Lyndon Benke (DST Group), Adrian Pearce, Liz Sonenberg, and Nir Lipovetzky.
- 2016-2018: Catering for individuals' emotions in technology development --- Australian Research Council DP160104083. With Leon Sterling, Sonja Pedell (Swinburne University), Antonette Mendoza, and Alex Lopez-Lorca.
- 2016-2017: Automated Reasoning Under Irreducible Uncertainty --- with Darryn Reid (DST Group), Adrian Pearce, Liz Sonenberg, and Nir Lipovetzky.
- 2014-2016: Increasing knowledge and motivating collaborative action on Low Carbon Living through team-based and game-based mobile learning --- CRC for Low Carbon Living. With Shirley Leitch (Swinburne), Antonette Mendoza, Robert Enker (Dept. of Building Innovation and Sustainability), and others.
- 2013-2015: Software engineering of people-oriented technology and services --- Australian Research Council
DP130102660. With Leon Sterling, Alex Lopez, and Sonja Pedell (Swinburne).
- 2014-2015: Evaluation of a robotic arm for people with limited upper-body mobility --- DSDBI Technology Voucher and Student Voucher. With Marita Cheng, 2Mar Robotics.
- 2013-2015: Foundations of human-agent collaboration: situation-relevant information sharing --- Australian Research Council DP130102825. With Liz Sonenberg, Adrian Pearce, Christian Muise, Paolo Felli, and Frank Dignum (Universiteit Utrecht)
- 2012-2013: Improving software verification, validation, and testing for air traffic systems --- Awarded by Airservices Australia. With Adrian Pearce, Alistair Moffat, and Chris Leckie.
- 2010-2012: Integrating and Automating Testing in Multi-agent Systems Development --- Australian Research Council LP100100037. With Lin Padgham and John Thangarajah (RMIT).
- 2009-2010: Intelligent reasoning in agent interaction --- Early-career researcher grant (University of
In my teaching, I make regular use of problem-based learning, both in the classroom and as part of project work. I have found this to be an effective way to engage students with material, and to help students to learn to construct their own theories and methods.
I have been awarded the following teaching awards at Melbourne:
In 2016 I will be teaching the following subjects:
- Excellence in Teaching, Department of Computer Science and Software Engineering, 2009.
- Excellence in Teaching, Department of Computer Science and Software Engineering, 2011.
- Melbourne School of Engineering Teaching Award, 2011.
- SWEN90010 High Integrity Software Engineering (semester 1)
- SWEN90006 Software Engineering Methods (semester 2)
- COMP90054 AI Planning for Autonomy (semester 2)
The Community Z Tools (CZT)
project is an open-source effort to build a set of support tools
written in Java for the Z
specification language, such as a parser, typchecker, and
animator, so that others can build their own tools on top of them. The
version of Z that CZT supports is the new standardised version of Z
for details of the standard). My involvment in the project so far has
been to write the parser (Petra Malik then did
a lot of tidying up!), which also parses Object-Z, and
to write the typecheckers. Both the Z and Object-Z typecheckers are
currently available in CZT release 1.0, released in July, 2007.
Version 1.0 of the Object-Z typechecker is available for
as a standalone jar
file. Documentation is not yet available, but the scheduler (in Z) and binary tree (in Object-Z) examples should
give people a rough idea as to the markup and format that the
typechecker expects. To run the typechecker, you will need a JVM
capable of running Java 1.6 (or 6.0
as it is sometimes known) bytecode. Typechecking a specification can
be done directly from the jar file like so:
java -jar czt_typecheck_v1.0.jar filename1 filename2 ...
If you want to typecheck specifications that have been maintained for
the Wizard typechecker, then simply include the "wizard" toolkit in
the parents of you specification, like so:
This provides backward compatability with Wizard for most of the Latex
markup, but not the syntax and typing rules that may have changed in
both Z and Object-Z since Wizard was released.
\SECTION MySpecification \parents wizard
Any bug reports can be submitted via the CZT
bug tracker on sourceforge. Please assign the bug to me. If the
bug tracker is causing you problems, then please email me directly (my
address is at the bottom of this page).
For more information about the CZT project, visit the webpage: http://czt.sourceforge.net/