Bernhard K. Aichernig (Preferred)
Bernhard K. Aichernig
Full Professor, Johannes Kepler Universität Linz
Joined
April 2024
Names
Emails
****@ist.tugraz.at (Confirmed)
****@tugraz.at (Confirmed)
****@jku.at (Confirmed)
Personal Links
Career & Education History
Full Professor
Johannes Kepler Universität Linz (jku.at)
2025 – Present
Associate Professor
Technische Universität Graz (tugraz.at)
2012 – 2025
Advisors, Relations & Conflicts
Expertise
automata learning
2017 – Present
software testing
1999 – Present
formal methods
1997 – Present
Publications
Co-Authors
- Amnon Rosenmann
- Andrea Pferscher
- Andreas Gerstinger
- Andreas Griesmayer
- Andreas Kerschbaumer
- Andreas Wurm
- Andries Stam
- Astrid Rupp
- Benedikt Maderbacher
- Benjamin Wunderling
- Benjamin von Berg
- Bernhard Beckert
- Bernhard Großwindhager
- Bernhard Peischl
- Bettina Könighofer
- Birgit Vera Schmidt
- Birgitta Lindström
- Brigitte Fröhlich
- Carlo A. Furia
- Carlo Alberto Boano
- Carlo Corrales Delgado
- Chris George
- Christel Baier
- Christian Burghard
- Christian Schwarzl