Graeme Smith

Associate Professor Graeme Smith is a faculty member at the School of Electrical Engineering and Computer Science, The University of Queensland. He leads research in formal methods, focusing on the design and analysis of software systems with applications in telecommunications, railways, and defense sectors. His work includes formal object-oriented modeling, real-time embedded systems, and concurrency. He has held academic positions at institutions in Australia, Germany, and France. Currently, he leads a research cell under the Defence Science and Technology Group, addressing formal security analysis of concurrent code.

Education:

• Bachelor (Honours) of Engineering, The University of Queensland
• Doctor of Philosophy, The University of Queensland

Research Interests: Formal methods for functional correctness and security of concurrent programs, including refinement techniques, information flow security, and distributed systems like multi-agent systems. His work emphasizes weak memory models, hardware-software interaction, and formal verification.

Articles Trends: Recent publications emphasize formal verification of concurrent systems, weak memory models, and security protocols. Key areas include compositional reasoning, vulnerability detection, and applications in ARM/POWER architectures.

Grants & Funding:

• ARC Discovery Grants on fault-tolerant systems, distributed autonomous systems, and lock-free algorithms
• Defence Science and Technology Group collaboration on formal security analysis

Labs/Teams: Leads a Defence-funded research cell focusing on formal security analysis of concurrent code.