Interested in Engineering or Computer Science?
Learn why you should study here.
Connect with us
Learn about our research capabilities and how you can get involved with the College.
Search Engineering & Computer Science
» read more about Mr Greg O'Keefe
Formal semantics for UML and related modelling languages. Making logic more understandable.
Updated: 10 February 2019/Responsible Officer: Dean, CECS/Page Contact: CECS Marketing
+61 2 6125 5111
The Australian National University, Canberra
CRICOS Provider : 00120C
ABN : 52 234 063 906