Return Home

Research team

The team comprises researchers and developers of NICTA's Formal Methods program and its Embedded Real-Time and Operating Systems program. The following people have been contributing to the Goanna project:

• Ralf Huuck (project lead)
  
• Ansgar Fehnker
• Sean Seefried
• Sebastian Maneth
• Jörg Brauer
• Michael Tapp
• Michael Vistein
  

• Daniel Ho
• Myat Oo
• Cham Chung Wong
  
• James Wong
• Felix Rauch
• Bernard Blackham
• Jin Li
• Michel Lussenburg
• Nick Gibson
• Patrick Jayet

Contact Details

For more information about NICTA's Goanna project, please contact:

Dr Ralf Huuck (project leader)
National ICT Australia Limited
University of NSW, Locked Bag 6016,
NSW 1466, Australia
Phone: +61 2 8306 0493
Fax: +61 2 8306 0405
Email: ralf.huuck@nicta.com.au