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
Search results
0 open and 0 closed projects found.-
There aren't any projects yet