Registered user since Thu 26 Sep 2019
Bernhard K. Aichernig is a full professor of Formal Methods at Johannes Kepler University Linz (JKU), Austria, where he leads the Institute of Formal Models and Verification (FMV). His research focuses on the foundations of software engineering for dependable and trustworthy systems, with interests in automated falsification, verification, learning and modelling. Current topics include automata learning, learning-based testing, and the integration of symbolic and subsymbolic AI. He is the author of more than 140 scientific publications. Until April 2025, he was affiliated with Graz University of Technology. From 2002 to 2006, he held a faculty position at the United Nations University in Macao, China. He served on the board of Formal Methods Europe from 2004 to 2016. Prof. Aichernig holds a habilitation in Practical Computer Science and Formal Methods, a doctorate, and a Diplom-Ingenieur degree, all from Graz University of Technology.
Contributions
2025
2024
A-MOST
ICSE
- Author of It's Not a Feature, It's a Bug: Fault-Tolerant Model Mining from Noisy Data within the Artifact Evaluation-track
- Author of It's Not a Feature, It's a Bug: Fault-Tolerant Model Mining from Noisy Data within the Research Track-track
- Author of Learning and Repair of Deep Reinforcement Learning Policies from Fuzz-Testing Data within the Research Track-track
- Author of Artifact for "Learning and Repair of Deep Reinforcement Learning Policies from Fuzz-Testing Data" within the Artifact Evaluation-track