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
Stars
1
star
written in Jupyter Notebook
Clear filter