Scholar
Bernhard Aichernig
Google Scholar ID: O6dEPWYAAAAJ
Full Professor of Formal Methods, Johannes Kepler University Linz
Citations & Impact
Citations
1,300
H-index
20
i10-index
36
Publications
20
Co-authors
68
list available
Publications
Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Academic Achievements
- Author of more than 140 scientific publications; 2024 activities include being the Dean of Studies of the Faculty of Computer Science at TU Graz, key researcher in three research projects (LearnTwins, AIDoARt, TASTE), and co-manager and key researcher of the TU Graz - SAL Dependable Embedded Systems Lab (DES Lab); Invited speaker at several international conferences; Published 10 peer-reviewed articles in 2024, including 4 journal articles and 6 conference articles, with three in A*-conferences (ICSE and ACL).
Research Experience
- Currently a full professor of Formal Methods at Johannes Kepler University Linz (JKU), Austria, leading the Institute of Formal Models and Verification (FMV). Previously worked over 27 years at Graz University of Technology, interrupted only by four years at UNU in Macau. Key Researcher in the BilAI Cluster of Excellence, focusing on integrating symbolic and subsymbolic AI.
Education
- Degrees: Habilitation in Practical Computer Science and Formal Methods, Doctorate, Diplom-Ingenieur; University: Graz University of Technology; Advisor: Not mentioned; Time: Affiliated with Graz University of Technology until April 2025, held a faculty position at the United Nations University in Macao, China from 2002 to 2006, served on the board of Formal Methods Europe from 2004 to 2016.
Background
- Research Interests: Formal Methods, Automated Falsification, Verification, and Modeling. Professional Field: Foundations of software engineering, particularly for dependable and trustworthy systems.
Miscellany
- No information provided about personal interests or hobbies.
