Ratings & reviews
Always prepared and organized for students.
This comment is not public.
This comment is not public.
Taught by or worked with Ansgar?
Add your rating. It takes about 30 seconds.
About Ansgar
Ansgar Fehnker is an Associate Professor (Teaching and Leadership) in the School of Computing at Macquarie University, focusing on Computer Science. He commenced this role on 15 November 2021. Previously, he held the position of Associate Professor at the University of Twente in the Netherlands from 1 February 2016 to 14 November 2021. Before that, he was Professor in Computer Science and Information Systems at the University of the South Pacific in Fiji from 1 February 2012 to 31 January 2016, and Researcher at National ICT Australia Limited (NICTA) in Sydney from 1 November 2004 to 31 December 2012. His career has centered on advancing automated verification techniques in software and systems engineering.
Fehnker's research interests lie in the application of automated system and software verification tools, particularly model checking and static analysis, to the design and development of software systems. His work encompasses verification for cyber-physical systems, static analysis for C/C++, modelling and verification of wireless routing protocols, analysis of blockchain technology, and the development of software analysis tools for educational contexts. Notable publications include 'Lazy model checking for recursive state machines' by Dubslaff, Wienhöft, and Fehnker in Software and Systems Modeling (2024); 'Keeping humans in the loop: LLM supported oral examinations' by Fehnker and Glover in ITS 2024 proceedings (2024); 'Automated assessment of learning objectives in programming assignments' by Rump, Fehnker, and Mader in ITS 2021 proceedings (2021); 'A distributed blockchain model of selfish mining' by Eijkel and Fehnker in FM 2019 Workshops (2020); 'Detecting and addressing design smells in novice Processing programs' by Fehnker and de Man in CSEDU 2018 revised papers (2019); and 'Adaptive formal framework for WMN routing protocols' by Kamali and Fehnker in FACS 2018 proceedings (2018). He has also served as co-editor for the Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems (MARS 2020). Fehnker contributes to teaching software engineering practices and programming education at Macquarie University.
Trending Computer Science Research & Publication News
AI Research Scooping: OpenAI & Anthropic Priority Disputes
Photo by Brecht Corbeel on Unsplash
arXiv Two-Submission Monthly Cap Explained | AcademicJobs
Photo by Kelly Sikkema on Unsplash
AI-Powered Systematic Review Reproducibility | AcademicJobs
Photo by Igor Omilaev on Unsplash
EOSC Federation: Federated Data Publishing | AcademicJobs
Photo by Haberdoedas on Unsplash
Repository Audit Updates: CoreTrustSeal, ISO 16363
Photo by Zulfugar Karimov on Unsplash
Research Software PID Mandates Expand | AcademicJobs
Photo by Google DeepMind on Unsplash