Go to content
- {{#headlines}}
- {{title}} {{/headlines}}
Current contact address
| Country | Australia |
|---|---|
| City | Canberra |
| Institution | Australian National University |
| Institute | School of Computing |
Profile
| Research fields | Theoretical Computer Science,Fundamentals of Mathematics, Logics, Set Theory |
|---|---|
| Keywords | Recursion Theory, Coinductive Techniques, Computational Complexity |