Greg O'Keefe

Hi. I'm a PhD student with the Logic and Computation Group at the Australian National University

I am interested in logic in the very broad sense, because I want to work precisely and effectively with ideas. This has led me into stuff like

maths category theory, type theory, algebra, logic
philosophy of language, mind, logic, maths, computation
computing software engineering, theorem proving, free software

I'm currently editing my thesis on formal semantics for UML, and aim to submit it in July.
I believe I have untangled and clarified a lot of the ideas behind model driven development, and found the essence of UML that doesn't seem to be fully resolved in the minds of its committee of designers.

Here's a brief cv, also in pdf,

my publications and some other work.

Lecture slides and other materials for the Introduction to Formal Logic course I taught several times at Macquarie University.

My email address is like greg dot okeefe at anu.edu.au

What Next?

My thesis will be completed in the next two or three months, so I am thinking about the next step in my work. (I wrote this in January 2007, but a couple of disasters intervened. I am still thinking the same kind of thoughts about future work though.) Connecting formal logic and graphical object oriented modelling languages seems to me a very promising and exciting area, both for logic and for engineering. I also hope to make contacts with the broader conceptual modelling community.

The goal is effective tools for working with knowledge.

The formal and the human aspects of this are both critical. I want to stay in touch with theoretical logicians, but want to find some end-users of modelling techniques to drive the work in a practically useful way. I would also like to work with cognitive psychologists on measuring the effectiveness of different forms of representation. One possibility is business process modelling in large government departments. I am looking for collaborators and job opportunities, so if your interests are close to mine, send me an email!

last updated 27 May 2008