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.