• Source: Scopus
  • Calculated based on no. of publications stored in Pure and citations from Scopus
19982021

Research activity per year

If you made any changes in Pure these will be visible here soon.

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 201614 Nov 2021

Professor, University of the South Pacific

1 Feb 201231 Jan 2016

Researcher, National ICT Australia Limited (NICTA)

1 Nov 200431 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

Network

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • Atelier Hands-On Training

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

    Research output: Non-traditional research outputDigital 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; vol. 12884).

    Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionpeer-review

  • Automated assessment of learning objectives in programming assignments

    Rump, A., Fehnker, A. & Mader, A., 2021, Intelligent Tutoring Systems: 17th International Conference, ITS 2021 Virtual Event, June 7–11, 2021 Proceedings. Cristea, A. I. & Troussas, C. (eds.). Cham, Switzerland: Springer, Springer Nature, p. 299-309 11 p. (Lecture Notes in Computer Science; vol. 12677).

    Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionpeer-review

  • A distributed blockchain model of selfish mining

    Eijkel, D. & Fehnker, A., 2020, Formal Methods - FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019 Revised Selected Papers, Part I. Sekerinski, E., Moreira, N. & Oliveira, J. N. (eds.). Cham, Switzerland: Springer, Springer Nature, p. 350-361 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12232).

    Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionpeer-review

  • A sports day for programming

    Fehnker, A., 2020, The 9th Computer Science Education Research Conference, CSERC '20. Stikkolorum, D. R. & Rahimi, E. (eds.). New York, NY: Association for Computing Machinery (ACM), p. 1-6 6 p. 11

    Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionpeer-review