Activities in 2023

 

• Key Researcher in the research projects LearnTwins and AIDoARt.
• 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
• Invited speaker at the following events:
• AISOLA 2023, 1st Artificial Intelligence ISoLA, Track on AI Assisted Programming, 23-28 October 2023, Crete, Greece.
• TAROT 2023 Summer School on Software Testing, Verification & Validation, 3rd to 7th of July 2023, King's College, London, UK.
• ITEQS 2023, 7th International Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems, 16th of April 2023, Dublin, Ireland.
• PC Member of several peer-reviewed conferences, including
• Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday. 
• Theoretical Aspects of Software Engineering (TASE 23)
• 19th Workshop on Advances in Model-Based Software Testing (A-MOST 23),
• Teaching 
• Software Paradigms (Bachelor-level)
• Declarative Programming (Bachelor-level)
• Quality Assurance in Software Development (Bachelor-level)
• Model-based Testing (MSc-level)