Sydney, New South Wales, Australia
Areas of Specialization
| Logic and Philosophy of Logic |
| Mathematics |
Areas of Interest
| Logic and Philosophy of Logic |
| Mathematics |
| Model Theory |
| Proof Theory |