The Australian National University
CSL Home | CECS Home | ANU Home | Search ANU | HORUS | Staff Home

Greg O'KEEFE

Position:Postgraduate Student/Lecturer
Email:
Url:http://rsise.anu.edu.au/~okeefe
Phone:6125 8608
Building:RSISE 115
Room:B236
Department:CSL, NICTA LC
Staff category:Student

Research Interests:

Formal semantics for UML and related modelling languages. Making logic more understandable.

Duties:

Teaching:

  • COMP2400 Relational Databases, Lecturer in charge, 2007, S2
  • COMP6240 Relational Databases, Second Examiner, 2007, S2