Room #: Building A, Level3, ICT Building
DIVISION: Computing Science/Information Systems
Phone: 32 32298
Fax: 323 1527
Prof Ansgar Fehnkerís 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. His work currently focuses on static analysis for C/C++, which led to the commercial industrial analysis tool Goanna, and on analysis of wireless network protocols with model checking.
Prof Fehnker was until 2011 researcher at Australiaís ICT research centre NICTA. Prior to joining NICTA he was a PostDoc in the model checking teams at Carnegie Mellon University. He received his PhD from the Radboud University Nijmegen on verification of real-time and hybrid systems. See here for a recent CV.
PhD and MSc projects
Please contact Prof Ansgar Fehnker if you are interested in pursuing a PhD or MSc in the areas of formal software and protocol analysis.
- A. Fehnker, R. J. van Glabbeek, P. Hoefner, A. McIver, M. Portmann, W. L. Tan. A Process Algebra for Wireless Mesh Networks. In ESOP 2012. 2012.
- A. Fehnker, R. J. van Glabbeek, P. Hoefner, A. McIver, M. Portmann, W. L. Tan. Automated Analysis of AODV using UPPAAL. In TACAS 2012. 2012.
- R. Huuck, A. Fehnker, and W. Roediger. Model Checking Dataflow for Malicious Input. In WESS 2011. 2011.
- M. Bradley, A. Fehnker, and R. Huuck. Cyber Security at Software Development Time. In DSR 2011. 2011.