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)

CV

Bernhard K. Aichernig is a tenured associate professor (ao. Univ.-Prof.) at Graz University of Technology, Austria. With his research group he investigates the foundations of software engineering for realising dependable computer-based systems. Bernhard is an expert in formal methods and testing. His research covers a variety of areas combining falsification, verification, and abstraction techniques. Current topics include the Internet of Things, test-case generation, automata learning, and statistical model checking. 

Since 2020, he leads the TU Graz - SAL Dependable Embedded Systems Lab (DES Lab) with fundamental research in zero-bug software and dependable AI.

He participated in five European projects. From 2004-2016 Bernhard served as a board member of Formal Methods Europe, the association that organises the Formal Methods symposia. From 2002 to 2006 he had a faculty position at the United Nations University in Macao S.A.R., China. Bernhard holds a habilitation in Practical Computer Science and Formal Methods, a doctorate, and a diploma engineer degree from Graz University of Technology.

Activities in 2022

 Here is a summary of my activities in 2022.

• Key Researcher in three research projects Dependable Things, LearnTwins, and AIDoARt
• Co-Head 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
• PC Member of 
• FORMATS 2022,  the 20th Intern. Conference on Formal Modeling and Analysis of Timed Systems
• SAC 2022, 37th ACM/SIGAPP Symposium on Applied Computing
• A-MOST 2022, 18th Workshop on Advances in Model Based Testing
• Member of the selection board for external master students in the programme Software Engineering and Management
• Teaching 
• Software Paradigms (Bachelor-level, 287 students)
• Declarative Programming (Bachelor-level, 266 students)
• Quality Assurance in Software Development (Bachelor-level, 204 students)
• Model-based Testing (MSc-level)
• Formal Specification and Design of Software (MSc-level)

Activities in 2021

 Here is a summary of my activities in 2021. This list will be updated as tasks come along.

• Key Researcher in three research projects Dependable Things, LearnTwins, and AIDoARt
• Co-Head and key researcher of the  TU Graz - SAL Dependable Embedded Systems Lab (DES Lab) 
• Invited speaker at the AVL ITS R&T Research Networking Day 2021 and ISOLA 2021
• Steering board member of TAP, the International Conference on Tests and Proofs
• PC Member of 
• FM 2021, 24th International Symposium on Formal Methods
• ICTAC 2021, 18th International Colloquium on Theoretical Aspects of Computing
• TAP 2021, 15th International Conference on Tests and Proofs
• IFIP ICTSS 2021, 33rd International Conference on Testing Software and Systems
• A-MOST 2021, 17th Workshop on Advances in Model Based Testing
• ITEQS 2021, 5th International Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems
• SAC 2022, 37th ACM/SIGAPP Symposium on Applied Computing
• Reviewer for the journals
• Science of Computer Programming
• Software Tools for Technology Transfer
• PeerJ Computer Science
• External examiner at the PhD defence of Niveditha Manjunath, TU Vienna: Fault-Based Analysis of Cyber Physical Systems.
• Member of the selection boards for external master students in the programmes Computer Science and Software Engineering and Management
• Teaching 
• Software Paradigms (Bachelor-level, 207 students)
• Declarative Programming (Bachelor-level, 190 students)
• Quality Assurance in Software Development (Bachelor-level, 165 students)
• Model-based Testing (MSc-level)
• Formal Specification and Design of Software (MSc-level)