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 (level B) at National ICT Australia in the Formal Methods group. My research interest is formal verification, in particular model checking, for timed and hybrid systems, and the application of formal methods in design and development of embedded systems. | |
| I am involved in two research projects. Goanna is a project and a tool that combines static analysis and model checking techniques for source code analysis. Pewna is a project that explores the use of formal method techniques, such as 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. |