I only use this entry to the convenience of students looking for projects. I.e., this is NOT a project by me, it's not even a project at all.
Also, I am only listed as advisor so that this "list" is appears on my webpage. Clearly, I do not have anyting to do with the projects listed below.
I only list URLs where you can find further projects from different groups in Computer Science
- logic & formal methods: https://cecs.anu.edu.au/research/theory/logic
- databases: https://cecs.anu.edu.au/research/theory/databases
- HPC: https://cecs.anu.edu.au/research/systems/high-performance-computing
- ML: https://cecs.anu.edu.au/research/intelligence/machine-learning
- cyber security: https://cs.anu.edu.au/cybersec/student_projects/