another photo
I studied under Raj Goré in the Logic and Computation group of ANU's College of Engineering and Computer Science.
My PhD research aimed to provide the precision of formal logic to ordinary people who find symbolic language difficult to work with. To this end, I clarified the semantics of the Unified Modelling Language (UML), and outlined how it can be formalised using graph transformation theory.
My ongoing research interests include
- maths category theory, type theory, algebra, logic
- philosophy logic and metaphysics, language, mind, and maths
- computing Haskell programming, theorem proving, model driven development (MDD)
Here's a brief cv focussing on my
real-world skills, and a more academic oriented one, both in .pdf format, and both out of date, but hey, I'm not looking for work at the moment!
Publications and some other work.
My email address is like gregokeefe at netspace.net.au