Students

Research supervision/advising

Currently I do not have any new capacity to take on new PhD or MPhil students.

Direct contact opportunities

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 or MPhil supervision, please demonstrate that that your and my research interests are aligned.

Potential student interns: I do not usually have funding for internships. When I do, I recruit from University of Queensland students. I am unable to consider any requests for paid internships.

Current PhD and MPhil researchers

• Dice Yukita - Human-centered verification of large language model outputs; with Joel MacKenzie.
• Saied Salem () - Concept-based explanation; with Alina Bialkowski.
• Bing Tuo - Human-centered decision support; with Gianluca Demartini.
• Pradeepa Bandara - () - Older people’s use of language models for managing their health and wellbeing; supervised with Dhaval Vyas.
• Chen Chen - Concept-based explainable AI for volumetric 3D images; supervised with Alina Bialkowski.
• Lyndon Benke - Deception in complex environments; with Michael Papasimeon (DST Group), Adrian Pearce (The University of Melbourne) and Nir Lipovetzky (The University of Melbourne)

Completed PhD and MPhil researchers

• Abeer Alshehri () - Explainable intention recognition; with Mor Vered (Monash University)
• Rinu Sebastian ) - Explainable object recognition; with Kris Ehinger (The University of Melbourne)
• Thao Le ()- Explainable machine learning; with Ronal Singh (CSIRO) and Liz Sonenberg (The University of Melbourne)
• Guang Hu () - Explainable agency via epistemic planning; with Nir Lipovetzky (The University of Melbourne)
• Henrietta Lyons () - Contestability of automated decision-making; with Eduardo Velloso (The University of Melbourne)
• Steven Spratley () - Generalisation and analogical visual reasoning; with Kris Ehinger (The University of Melbourne)
• Ruihan Zhang () - Explainable image classification using concepts; with Ben Rubinstein (The University of Melbourne) and Kris Ehinger (The University of Melbourne)
• Prashan Madumal () - Explainable reinforcement learning; with Liz Sonenberg (The University of Melbourne) and Frank Vetere (The University of Melbourne) (PhD awarded July 2022)
• Fatma Faruq - Multi-agent planning (joint PhD supervision with the University of Birmingham)
• Eman Alatawi () - Automated software testing with dynamic symbolic execution; with Harald Sondergaard (The University of Melbourne)
• Mohammad Sherkat - Systematic design for emotional goals in people-oriented software engineering; with Antonette Mendoza (The University of Melbourne)
• Ping Ping Tan () - Heuristic approaches to automated detection of changes between versioned documents; with Karin Verspoor (The University of Melbourne)
• David (Knobby) Clarke - Automated race detection in Java programs; with Antonette Mendoza (The University of Melbourne) and Toby Murray (The University of Melbourne)
• Ronal Singh ()- Designing for Multi-Agent Collaboration: A Shared Mental Model Perspective; with Liz Sonenberg (The University of Melbourne)
• Burkhard von der Osten - Intelligent decision-making in coupled socio-ecological systems; with Michael Kirley (The University of Melbourne)
• Yude Lin - Symbolic execution with Over-Approximation; with Harald Sondergaard (The University of Melbourne) and Toby Murray (The University of Melbourne)
• 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 (The University of Melbourne) (PhD awarded in August 2012).