Ansgar Fehnker

Ansgar Fehnker is an Associate Professor (Teaching and Leadership) in the School of Computing at Macquarie University. His research focuses on automated system verification tools, including model checking and static analysis, with applications in cyber-physical systems, blockchain technology, and educational software. He has held previous roles at the University of Twente (2016–2021), University of the South Pacific (2012–2016), and National ICT Australia (2004–2012).

Research interests include:

• Formal methods for software verification
• Static analysis for C/C++
• Blockchain protocol analysis
• Educational technology for programming education

Recent publications emphasize AI-driven educational tools and hands-on training systems for programming. His work bridges theoretical formal methods with practical educational applications.