BSc Computer Science, a BEng Electrical Engineering, and a PhD Formal Specification of Communication Protocols from the University of Queensland, Australia.
