Bernhard K. Aichernig

Full Professor, Johannes Kepler Universität Linz

Joined

April 2024

Bernhard K. Aichernig (Preferred)

****@ist.tugraz.at (Confirmed)

****@tugraz.at (Confirmed)

****@jku.at (Confirmed)

Full Professor

Johannes Kepler Universität Linz (jku.at)

2025 – Present

Associate Professor

Technische Universität Graz (tugraz.at)

2012 – 2025

No relations added

automata learning

2017 – Present

software testing

1999 – Present

formal methods

1997 – Present

No publications

No co-authors