Students
Research supervision/advising
Currently I do not have any new funding for PhD scholarships.
If you have funding for a scholarship and would like to consider applying for a PhD scholarship in our lab, please first read our Missions and values to ensure that our lab aligns with what you aim to do.
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.
- Bing Tuo - Human-centered decision support; with Gianluca Demartini.
- 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)
- 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
- 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).