Dr Ansgar Fehnker
Ansgar Fehnker is responsible for research and operations at Red Lizard Software.
Previously, Dr Fehnker has been a senior researcher at NICTA and created the Goanna technology by developing the novel approach that brings model checking techniques to the field of static code analysis.
Dr Fehnker's research interests cover verification and analysis techniques for finite, probabilistic, timed and hybrid systems. Throughout his career he successfully applied these techniques to Automotive, Avionics, Operations Research, Process Control, Wireless Networks, and Embedded Software. Dr Fehnker is a trained Mathematician from the University of Groningen in the field of Control and System Theory, and completed his PhD in Computer Science at the University of Nijmegen in the field of Formal Methods. He was a visiting researcher with the model checking teams in the departments of ECE and CS at Carnegie Mellon University, Pittsburgh, before he joined NICTA in 2003.
