another photo
I studied under Raj Goré in the Logic and Computation group of ANU's College of Engineering and Computer Science. Although I'm now an under-employed casual postman and university tutor, I still seem to be incredibly busy.
My research aims to provide the precision of formal logic to ordinary people who find symbolic language difficult to work with. To this end, I have clarified the semantics of the Unified Modelling Language (UML), and outlined how it can be formalised.
My research interests include
- maths category theory, type theory, algebra, logic
- philosophy of language, mind, logic, maths, computation
- computing model driven development (MDD), requirements engineering, formalisation and theorem proving
Here's a brief cv focussing on my
real-world skills, and a more academic oriented one, both in .pdf format.,
Publications and some other work.
My email address is like greg dot okeefe at anu.edu.au