HuuckR
Ralf Huuck
Researcher
Kensington Research Laboratory
I am a NICTA Senior Researcher and leading the
Goanna Project
on detecting software
deficiencies and security vulnerabilities
in embedded system code. I'm also
a UNSW Conjoint Senior Lecturer.
NEW: Journal of Automated Reasoning: Special Issue On Operating Systems Verification
Recent: Workshop on Systems Software Verification (SSV08), Sydney 2008.
Research Areas
- software verification
- domain specific design languages
- modeling and verification of embedded systems
Research Expertise
- model checking
- abstract interpretation
- static analysis
Publications
- Find an up-to-date list of my publications.
More Stuff
- To learn more about me, my other homepage is probably a good start
Contact Me
- Office: Room E523, L5 Building, UNSW campus
- Phone: +61 2 8306 0493
- Fax: +61 2 8306 0405
- Email: ralf.huuck@nicta.com.au
- Mail:
- National ICT Australia Limited
- University of NSW, Locked Bag 6016,
- NSW 1466, Australia
- For urgent matters it is better to email instead of phoning me!