Designation: Senior Research Officer Location: Location: Rm 348 GPSouth Telephone: +61-7-3365-2936 Fax:  +61-7-3365-1533 E-mail: luke@itee.uq.edu.au

Research Interests:

Formal methods, Security, Safety, Theorem Proving, Model Checking, Testing, Requirements Engineering, MDA

My Publications: Here

Research Group: SSE

Projects: TestCon, InfoSec, MDAVV

CV: Here