Formal Methods Research Group

Academic Staff Rowan Davies Tim French George Milne Mark Reynolds	Units Modelling Complex Systems
Postdoctoral Fellows Paul Johnson Joel Kelso Simon Hubband	Research Students Bobby Chu Adam Dunn
Research Areas Formal Specification and Verification Temporal and Model Logics Modelling Complex Systems

---

Copyright (C) 2006 School of Computer Science & Software Engineering, The University of Western Australia. Unauthorised duplication or modification of this page and its contents is prohibited.