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