Undergraduate research projects
Some of our lab members frequently offer in-semester research projects through units FIT3144 and FIT2082 which undergraduate students can use to gain experience and build a good background for the study of a wide range of research questions. At present, David Green coordinates these two research-oriented units. For more information, please, visit the links at the bottom of this page.
Honours/MSc research projects
For this type of opportunities, contact a potential supervisor directly. Alternatively, for projects with the Faculty of IT, please, visit supervisorconnect (link at the bottom of the page). We offer projects in several areas, including, computation theory, discrete mathematics, automated reasoning, combinatorial optimisation, learning, probabilistic reasoning, and computer security.
Summer research internships/scholarships
For this type of opportunities, check the projects in the 2021 Summer Research Internship Program (link at the bottom of the page). This year, the lab is offering 4 projects in the areas of logic, games, optimisation, and learning. Apply by the 27th of August.
Logic and Games for Automated Verification
Supervisors: Dr Julian Gutierrez and Prof. Michael Wooldridge