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 systems. His work currently focuses on static analysis for C/C++, and on analysis of network protocols. Prof Fehnker was until 2011 senior researcher at Australia’s ICT research centre NICTA. Prior 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.