Tim Miller's Home Page

Tim Miller

Tim Miller

Department 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

About Me

I am a senior lecturer (equivalent to assistant professor) in the
Department 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 publications page.

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.

Research students

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.

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.

Current PhD students: Completed PhD students:
Research Projects and Funding


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:

Community Z Tools

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 (see here 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 download here 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:
      \SECTION MySpecification \parents wizard
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.

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/