Ph.D. student at the University of Melbourne. I mainly work on program verification.
Earned achievements
Pull Shark
x2
Pull Shark
x2
Loading
Arctic Code Vault Contributor
Arctic Code Vault Contributor
Loading