Recent Services to the Community

External Examiner

• School of Computing and Engineering, University of Derby, 2023-2027 -- External Examiner ∀ UG & MSc Cyber Security programs

Foriegn Expert

• ASM2S 2022 funded by HFRI -- Technical foreign expert and co-I
• SEEROSE 2020 funded by Karl Popper Kolleg, Austria -- Technical foreign expert

Co-Organizer

• ETFA 2023 -- Session co-organiser
• ETFA 2022 -- Session co-organiser
• ETFA 2021 -- Session co-organiser
• ETFA 2020 -- Session co-organiser

Program Committee Memebership

• FTfJP 2022 -- 24th Workshop on Formal Techniques for Java-like Programs