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/