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)
