Educational Tools for POPL
Peter Hoefner
5 Feb 2023
To add a practical aspect to COMP3610, the project aims at the development of Haskell libraries that can be used to illustrate concepts of the course.
Separate Compilation for a Verified Compiler
Michael Norrish
6 Feb 2023
The verified CakeML compiler compiles a functional language very similar to SML into machine code, and does so in a way guaranteed to be correct by formal proof. However, the compiler must...
Mechanised Mathematics
Michael Norrish
9 Feb 2023
Mechanising mathematics is the task of turning (relatively) well-understood mathematics into verified proofs with an interactive theorem-proving system. Such verified material can then lie behind high-assurance software.
Optimal troubleshooting (and other tractable POMDPs)
Patrik Haslum
14 Feb 2023
“Troubleshooting” is the problem of integrated active diagnosis and repair, in which the repairer must repeatedly select between (imperfect) diagnostic tests and repairs to perform to restore functionality of a faulty system,...
Story planning: unlimiting creativity
Patrik Haslum, Hanna Suominen
14 Feb 2023
The plot (or narrative) of a story has some similarity with a plan, as it is usually defined in classical AI planning. This has led researchers to investigate planning-based approaches to automatic...
Algorithms in Robotics for Task and Motion Planning
Rahul Shome
15 Feb 2023
Computational problems in robotic planning and decision-making.
User-Friendly Text Editor for the language AWN
Peter Hoefner
16 Feb 2023
The techniques we use for modelling, analysing and verifying routing and communication protocols are based on the simple programming language AWN, which offers expressions for (arbitrary) data structures and basic primitives, such...
Saddle-free optimisation of deep networks
Dylan Campbell
17 Feb 2023
A project to develop and investigate a new saddle-escaping optimiser for deep neural networks, which converges faster with less hyperparameter tuning than existing optimisers.
Concurrency Verification
Nisansala Yatapanage
19 Feb 2023
It is notoriously difficult to ensure that concurrent programs have been designed correctly. Compared to sequential programs, concurrent programs can exhibit behaviour that a programmer may not have anticipated. Rely/guarantee reasoning is...
Verification of Safety-critical Systems
Nisansala Yatapanage
19 Feb 2023
Safety-critical systems include systems such as air-traffic control, medical, railway and industrial systems. The critical aspect of these systems is that if something goes wrong, human lives would be in danger. For...
Internship—GoSource
23 Feb 2023
Indigenous biosecurity ranger app
Blazingly Fast Real-Time Analytics over Big Streaming Data
Shoaib Akram
23 Feb 2023
Join and build real-rime search and analytic engines of the future!
Internship—Australian National Character Check
27 Feb 2023
Assist senior developers with design and implementation of Reference Check Platform
Dependency Analysis over Stored Theorems and Proofs
Michael Norrish
28 Feb 2023
This engineering project asks the student to write code to analyse the “theory” files generated by the HOL4 system to detect redundant theorems. These are those that are never used (and might...
Analysing the Usefulness of Succinct Interactive Zero-knowledge Proofs to Voting
Thomas Haines
3 Mar 2023
Succinct zero-knowledge proofs are a multi-billion dollar industry. This project will involve examing their applicability to electronic voting by implementing a system which improves the privacy and efficency of the former.
Human Public Key Crypto and it's Applications to Voting
Thomas Haines
3 Mar 2023
Human public key crypto is a novel and understudied area of cryptography which allows humans to decrypt ciphertexts without reliance on computers.
Investigation of Online Voting Systems
Thomas Haines
3 Mar 2023
This project will involve investigating the code of an online voting system. There are several possible candidate systems including:
Post-quantum Marked Mix-nets
Thomas Haines
3 Mar 2023
Marked mix-nets are a strange peice of cryptography that protects privacy but not integrity. They are well understood for cryptosystems based on the RSA assumpation and the discrete log problem. However, they...
Minimum Target Set in Social Networks: An Experimental Study
Ahad N. Zehmakan
5 Mar 2023
Description
Majority Opinion Diffusion Model
Ahad N. Zehmakan
5 Mar 2023
Description
Internship—ML Research Labs
17 Mar 2023
Project 1—Democratise Deep Learning Through Algorithmic Optimisation: Multi-gpu training
Internship—ML Research Labs
17 Mar 2023
Project 2—Data Mining
Internship—ML Research Labs
17 Mar 2023
Project 3—Full-stack Development Intern: Continuous Improvement
Internship—DoxAdvisors
25 Mar 2023
This position is offered through the ANU Computing Internship courses (COMP3820 / COMP4820 / COMP8830).
Internship—XtreamCompute
25 Mar 2023
This position is offered through the ANU Computing Internship courses (COMP3820 / COMP4820 / COMP8830).
Internship—Canberra Health Services - Project 2
27 Mar 2023
This position is offered through the ANU Computing Internship courses (COMP3820 / COMP4820 / COMP8830).
Internship—Canberra Health Services - Project 1
27 Mar 2023
This position is offered through the ANU Computing Internship courses (COMP3820 / COMP4820 / COMP8830).
Language Design for IDEs
Fabian Muehlboeck
27 Mar 2023
Prerequisites A good understanding of programming in a statically typed language. It is useful if you have already taken a compilers course or have acquired a basic understanding of parsing elsewhere. It...
Building a Programming Language Ecosystem
Fabian Muehlboeck
29 Mar 2023
In the course of research on language design and implementation for gradually-typed languages, we have created a programming language called MonNom as a test bed for new ideas and to benchmark implementation...
Internship—Akkodis (4 places)
29 Mar 2023
Up to 4 students will be placed in this position.
Internship—Children's Cancer Institute - Project 2
29 Mar 2023
This position is offered through the ANU Computing Internship courses (COMP3820 / COMP4820 / COMP8830).
Internship—Children's Cancer Institute - Project 3
29 Mar 2023
This position is offered through the ANU Computing Internship courses (COMP3820 / COMP4820 / COMP8830).
Internship—Children's Cancer Institute - Project 1
29 Mar 2023
This position is offered through the ANU Computing Internship courses (COMP3820 / COMP4820 / COMP8830).
Internship—CSIRO - Data 61
29 Mar 2023
This position is offered through the ANU Computing Internship courses (COMP3820 / COMP4820 / COMP8830).
Internship—Tiparra
29 Mar 2023
This position is offered through the ANU Computing Internship courses (COMP3820 / COMP4820 / COMP8830).