I am an academic at the School of Computing, The Australian National University. Interested in logic, formal verification and computer security.
-
The Australian National University
- Canberra, Australia
Earned achievements
Starstruck
Starstruck
Loading