Skip to main navigation Skip to search Skip to main content
Ansgar Fehnker

View Scopus Profile

Ansgar Fehnker

Dr,

 https://orcid.org/0000-0002-5326-3432
1998 …2024

Research activity per year

Personal profile

Biography

Ansgar Fehnker is an Associate Professor (Teaching and Leadership) in the School of Computing at Macquarie University. He was previously an Associate Professor at the University of Twente, a professor in CS/IS at the University of the South Pacific, and a researcher at National ICT Australia in Sydney. His research interest is the use of automated system and software verification tools, in particular model checking and static analysis, and their application in the design and development of software systems. His work includes verification for cyber-physical systems, static analysis for C/C++, modelling and verification of wireless routing protocols, analysis of block-chain technology and more recently, developing and applying software analysis tools and methods for an educational context. 

External positions

Associate Professor, University of Twente

1 Feb 2016 → 14 Nov 2021

Professor, University of the South Pacific

1 Feb 2012 → 31 Jan 2016

Researcher, National ICT Australia Limited (NICTA)

1 Nov 2004 → 31 Dec 2012

Fingerprint

Dive into the research topics where Ansgar Fehnker is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
View full fingerprint

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Explore network further

  • Keeping humans in the loop: LLM supported oral examinations

    Fehnker, A. & Glover, L., 2024, ITS 2024: generative intelligence and intelligent tutoring systems: 20th International Conference, proceedings. Sifaleras, A. & Lin, F. (eds.). Switzerland: Springer, Springer Nature, p. 312-319 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14798).

    Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review

    2   Link opens in a new tab Citations (Scopus)

  • Lazy model checking for recursive state machines

    Dubslaff, C., Wienhöft, P. & Fehnker, A., Apr 2024, In: Software and Systems Modeling. 23, 2, p. 369-401 33 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    File
    1   Link opens in a new tab Citation (Scopus)
    8 Downloads (Pure)

  • What's in school? – topic maps for secondary school computer science

    Fehnker, A., 2022, A journey from process algebra via timed automata to model learning : essays dedicated to Frits Vaandrager on the occasion of his 60th birthday. Jansen, N., Stoelinga, M. & van den Bos, P. (eds.). Cham: Springer, Springer Nature, p. 151-163 13 p. (Lecture Notes in Computer Science; vol. 13560).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • Atelier Hands-On Training

    Blaas, R., Fehnker, A. & Mader, A. H., 1 Jun 2021

    Research output: Non-traditional research output › Digital or Visual products

    Open Access

  • Atelier – tutor moderated comments in programming education

    Fehnker, A., Mader, A. H. & Rump, A., 2021, Technology-Enhanced Learning for a Free, Safe, and Sustainable World: 16th European Conference on Technology Enhanced Learning, EC-TEL 2021 Bolzano, Italy, September 20–24, 2021 Proceedings. De Laet, T., Klemke, R., Alario-Hoyos, C., Hilliger, I. & Ortega-Arranz, A. (eds.). Cham, Switzerland: Springer, Springer Nature, p. 379-383 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12884 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review

    1   Link opens in a new tab Citation (Scopus)
View all 73 research outputs