Tuesday 13 December 2022

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)