CV

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, 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.

New Position at JKU

I started on April 1st as Professor of Formal Methods at Johannes Kepler University in Linz, where I’m now heading the Institute of Formal Models and Verification.

This marks a new chapter after more than 27 years at Graz University of Technology, interrupted only by four years at UNU in Macau (2002–2006). It was a fantastic time at TU Graz, and I’m very grateful to my alma mater for all the opportunities, collaborations, and support over the years.

I’m looking forward to working with my new colleagues at JKU and continuing research and teaching in formal methods. Let’s make systems not only more intelligent — but also more dependable and trustworthy.

Activities in 2024

 

• Dean of Studies of the Faculty of Computer Science at TU Graz
• Key Researcher in three research projects: LearnTwins, AIDoARt (both projects got extended), and TASTE.
• Co-Manager and key researcher of the  TU Graz - SAL Dependable Embedded Systems Lab (DES Lab) 
• Steering board member of TAP, the International Conference on Tests and Proofs
• Co-Organizer of the track on AI-Assisted Programming at AISOLA 2024.
• Invited speaker at the following events:
• LearnAut 2024, 5th workshop on Learning and Automata, 7 July 2024, Tallinn, Estonia.
• AISOLA 2024, 2nd Artificial Intelligence ISoLA, Track on AI-Assisted Programming, 30 Oct - 3 Nov 2024, Crete, Greece.
• 10 peer-reviewed publications:
• 4 journal articles
• 6 conference articles, including three A*-conferences (ICSE and ACL)
• PC Member of several peer-reviewed conferences and workshops, including
• ECAI 2024, 27th European Conference on Artificial Intelligence
• FMICS 2024, 29th International Conference on Formal Methods for Industrial Critical Systems
  
• A-MOST 2024, 20th Workshop on Advances in Model Based Testing
• Teaching 
• Software Paradigms (Bachelor-level)
• Declarative Programming (Bachelor-level)
• Quality Assurance in Software Development (Bachelor-level)
• Model-based Testing (MSc-level)
• PhD supervision of
• Edi Muskardin (defended on September 17th with distinction)
• Felix Wallner
• Benjamin von Berg
• External PhD reviewer and opponent of Wenjing Chu, Leiden University, the Netherlands (defended on December 4th).

Activities in 2023

 

• Key Researcher in the research projects LearnTwins and AIDoARt.
• Co-Manager and key researcher of the  TU Graz - SAL Dependable Embedded Systems Lab (DES Lab) 
• Steering board member of TAP, the International Conference on Tests and Proofs
• Invited speaker at the following events:
• AISOLA 2023, 1st Artificial Intelligence ISoLA, Track on AI Assisted Programming, 23-28 October 2023, Crete, Greece.
• TAROT 2023 Summer School on Software Testing, Verification & Validation, 3rd to 7th of July 2023, King's College, London, UK.
• ITEQS 2023, 7th International Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems, 16th of April 2023, Dublin, Ireland.
• PC Member of several peer-reviewed conferences, including
• Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday. 
• Theoretical Aspects of Software Engineering (TASE 23)
• 19th Workshop on Advances in Model-Based Software Testing (A-MOST 23),
• Teaching 
• Software Paradigms (Bachelor-level)
• Declarative Programming (Bachelor-level)
• Quality Assurance in Software Development (Bachelor-level)
• Model-based Testing (MSc-level)