Generate a tailored SOP for Dr. Ansgar Fehnker. Improve your application with a focused, well-structured draft.
Ansgar Fehnker is an Associate Professor in the School of Computing at Macquarie University. He has previously held positions as an Associate Professor at the University of Twente and as a Professor at the University of the South Pacific. He is a researcher with expertise in the areas of automated software verification tools, particularly model checking and static analysis, focusing on application design and software systems development. His work includes verification of cyber-physical systems and static analysis of C/C++, as well as modeling and verification of wireless routing protocols. Ansgar also investigates blockchain technology and develops methods for applying software analysis tools in educational contexts. His research outputs span from 2001 to 2024, showcasing a commitment to innovating within software verification and analysis.
Macquarie University • Sydney, Australia
Teaching and research in software verification.
University of Twente • Enschede, Netherlands
Teaching and research in computer science.
University of the South Pacific • Fiji
Research and teaching in computer science.
National ICT Australia Limited (NICTA) • Sydney, Australia
Conducted research in automated software verification.
Applied to Department of Business (MBA Program).