Bernhard Aichernig

Bernhard Aichernig serves as a University Professor at the Institute of Formal Models and Verification at Johannes Kepler University Linz. His academic career focuses on bridging theoretical computer science with practical software verification techniques. He actively contributes to the international research community through publications, program committees, and doctoral examinations.

Professor Aichernig's research primarily centers on formal methods and model verification, with significant contributions to automata learning and software testing methodologies. His work explores the intersection of theoretical computer science and practical verification techniques, particularly in state-merging approaches for passive learning systems. His research has direct applications in improving software reliability through formal testing frameworks.

His recent publication trends indicate a strong focus on advancing automata learning techniques, particularly extending the AALpy framework with passive learning capabilities. This work represents the cutting edge of model inference and formal verification, addressing challenges in state-merging algorithms for complex software systems. His research bridges theoretical foundations with practical testing applications.

Professor Aichernig serves as an active member of the academic community through various roles including doctoral examination committees and program committees for major conferences like the NASA Formal Methods Symposium. He has examined PhD theses on advanced reasoning techniques for quantified Boolean formulas, learning Mealy machines with local timers, and deep integration of SAT solving with model checking.

He currently participates in the Cluster of Excellence 'Bilateral Artificial Intelligence' project as a Principal Investigator, working alongside prominent researchers in the AI field. This active research project, funded by the Austrian Science Fund (FWF), runs from October 2024 through September 2029 and represents a significant collaborative effort in artificial intelligence research at JKU Linz.