USP Images
School of Computing, Information and Mathematical Sciences

MENU




Prof Ansgar Fehnker

Title: Professor

Room #: Building A, Level3, ICT Building

DIVISION: Computing Science/Information Systems

Email: ansgar.fehnker(at)usp.ac.fj

Phone: 32 32298

Fax: 323 1527


Research Interests

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.

Recent Publications

  • 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.


Disclaimer & Copyright l Contact Information l 
© Copyright 2004 - 2016. All Rights Reserved.
Page last updated: 12 Jul, 2013
School of Computing, Information and Mathematical Sciences
Faculty of Science and Technology
The University of the South Pacific,
Private Bag, Laucala Campus,
Suva, Fiji.
Tel: (679) 323 2364/323 2602
Fax: (679) 323 1527