Formal Methods in Software Engineering
Research Staff
Academics:A/Prof Ken Robinson, A/Prof John Potter (PhD, Uni Of Newcastle 1982), A/Prof Albert Nymeyer (PhD, Uni of Newcastle 1986), Prof Carroll Morgan Dr. John Zic (adjunct), Mr Peter Ho
PhD Students: 6
Honours Students: 10
Visitors: Annabelle McIver (Oxford), Jeff Sanders (Oxford), Yossi Gil (Technion, Haifa), Bertrand Myer (Interactive Software Engineering)
Capability:
The group is mainly concerned with developing formal techniques, languages and tools for the specification, design and implementation of software systems.
- probabilistic logics and refinement
- model checking
- object technology: design, object monitors and visualisation, concurrency, composition, modelling in real-time systems, type systems
- parallel and distributed computing
- heterogeneous computing
- communication protocols and systems
- theory of parser and compilers
Trackrecord (1997-2001)
Research Grants:
- ARC Large Grants: Theoretical and practical advances in risk-and expected-cost analysis during formal development of embedded-software systems $174,000
- Microsoft Research Institute funding
- University Research Grants
- 2001 Smart Model Checking $18,000
- 2001 Structured Memory Management $20,000
Collaborations:
Utrecht (The Netherlands), Twente (The Netherlands), Kiel (Germany), VERILOG, ETH Zurich, University of Victoria (N.Z.), Motorola Australia Research (Sydney), Computing Laboratory Oxford Uni.
Books: 2
Journal Papers: 4
Refereed Conference Papers: 57
PhD Completions: 3
Consulting: Object-Oriented Design (Aurema Pty Ltd)
Miscellaneous: The group forms part of CAESER (Centre for Advanced Software Engineering Research)
Facilities: The group has its own subnet and compute-server that is used for installing specialised software and experimentation.
|
