I am an associate professor in the
School of Computing
and Information Systems at The University of Melbourne.
My primary area of expertise is in artificial intelligence, with particular emphasise on:
- Human-AI interaction and collaboration
- Explainable Artificial Intelligence (XAI)
- Decision making in complex, multi-agent environments
- Reasoning about action and knowledge using automated planning
I am a member of the AI and Autonomy Lab in the school.
Research Projects and Funding
- 2018-2019: Collaborative Human-Agent Planning --- Microsoft Research. With Ronal Singh, Frank Vetere, and Liz Sonenberg.
- 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).
- 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 Melbourne)
I am always eager to here from strong PhD and MPhil candidates who want to undertake a PhD in the areas of human-agent interaction or explainable AI. If you are interested in undertaking a PhD or MPhil under my supervision, have a strong background in computer science, and meet the University of Melbourne's entry requirements, please contact me to initiate a discussion about potential topics. Please include a transcript or description of relevant industry experience so I can give you some estimate of your chances of obtaining a scholarship.
I receive many queries regarding supervision, many of which are spam. As such, I can only respond to queries that I believe are genuine. If you would like to approach me regarding PhD or MPhil supervision, please demonstrate that you know my research interests and that you have similar interests, otherwise you may not receive a reply.
Potential PhD/MPhil 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 and MPhil students
- Prashan Appuhamilage - Explainable Agency; with Liz Sonenberg and Frank Vetere
- Guang Hu - Epistemic planning
- Lyndon Benke - Forward projection in complex environments; with Adrian Pearce and Nir Lipovetzky
- Xin Zhang - Approximation Algorithms and Instance Models; with Tony Wirth. I can just barely claim to be supervising Xin, as I'm his (mandatory) 2nd supervisor, but bi-weekly discussions on theory and approximation with Xin and Tony has been great!
- 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
Completed PhD and MPhil Students
- Ronal Singh - Designing for Multi-Agent Collaboration: A Shared Mental Model Perspective; with Liz Sonenberg
- 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).
This page lists peer-reviewed publications that I have (co-)authored, as well as some under preparation that are complete enough for download. Most papers are downloadable, however, in many cases, these are pre-print versions.