FehnkerA
Ansgar Fehnker
Researcher
Contact
| Locked Bag 6016 The University of NSW Sydney NSW 1466 Australia |
 | |
| Office | Office E520 223 Anzac Parade Kensington NSW 2052 | |
| Phone | +61 2 8306 0490 | |
| Fax | +61 2 8306 0405 | |
| ansgar.fehnker@nicta.com.au |
Research
| I am a researcher at National ICT Australia in the Managing Complexity research theme. My research interest is formal verification, in particular model checking and static analysis, and the application of formal methods in design and development of embedded systems. | |
| I am currently working on the Goanna, a tool for C/C++ that combines static analysis with model checking. This tools is the result of a NICTA research project also called Goanna. I previously also worked on the Pewna project that explored the use of formal method techniques, such as probabilistic model checking, for perfomance evaluation of wireless network applications. |
Teaching
| Together with Ralf Huuck I offered in 2006 the course COMP4151 - Algorithmic Verificationat UNSW. This course continued in 2007 and 2008 as COMP3153. |
Publications
| A list of publications can be found here. |
Benchmarks
| Together with Franjo Ivančić I compiled a number of benchmarks for hybrid systems verification. The the instances and models can be found here. |