Tuesday 23 January 2024

Activities in 2024

 

  • Dean of Studies of the Faculty of Computer Science at TU Graz
  • Key Researcher in the research projects LearnTwins and AIDoARt (both projects got extended)
  • 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
  • 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)

Tuesday 14 November 2023

Activities in 2023

 

Tuesday 13 December 2022

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 ThingsLearnTwins, 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)