Please see the following home pages for specific contact details.
Pietro Abate
Jeremy Dawson
Rajeev Goré
Matt Gray
Michael Norrish
Andrew Slater
Enquiries about the project should be directed to Rajeev Goré. Enquiries about the formal specification should be directed to Michael Norrish. Enquiries about the eVACS experimentation should be directed to Andrew Slater. Enquiries about the alternate C based system should be directed to Matt Gray. Enquiries about the alternate Standard ML based system should be directed to Jeremy Dawson.
|
Site Map and Table of Contents |
Disclaimer |
Page content Copyright 2003 NICTA
|