Tuesday, 23 January 2024

Activities in 2024

 

  • Dean of Studies of the Faculty of Computer Science at TU Graz
  • Key Researcher in three research projects: LearnTwinsAIDoARt (both projects got extended), and TASTE.
  • 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
  • Co-Organizer of the track on AI-Assisted Programming at AISOLA 2024.
  • Invited speaker at the following events:
    • LearnAut 2024, 5th workshop on Learning and Automata, 7 July 2024, Tallinn, Estonia.
    • AISOLA 2024, 2nd Artificial Intelligence ISoLA, Track on AI-Assisted Programming, 30 Oct - 3 Nov 2024, Crete, Greece.
  • 10 peer-reviewed publications:
    • 4 journal articles
    • 6 conference articles, including three A*-conferences (ICSE and ACL)
  • 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)
  • PhD supervision of
    • Edi Muskardin (defended on September 17th with distinction)
    • Felix Wallner
    • Benjamin von Berg
  • External PhD reviewer and opponent of Wenjing Chu, Leiden University, the Netherlands (defended on December 4th).