Friday, 29 October 2021

Activities in 2021

 Here is a summary of my activities in 2020. 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)