PhD (Australian National University)
Complex system modelling and analysis, High-integrity software engineering, Safety-critical and security-critical systems