Community Service
I had the pleasure of organizing the following workshops with a wonderful team each time!
Additionally, I had the honor of serving as a reviewer for the following conferences and journals.
I am always open to help in reviewing works related to my interests! 16th International Symposium on Frontiers of Combining Systems (FroCoS 2025)
30th International Conference on Automated Deduction (CADE 2025)
24th Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2024)
Principles of Verification: Cycling the Probabilistic Landscape (Festschrift Joost-Pieter Katoen)
12th Proceedings of the International Joint Conference on Automated Reasoning (IJCAR 2024)
14th International Symposium on Frontiers of Combining Systems (FroCoS 2023)
Journal of Logical and Algebraic Methods in Programming