Professional Activities

Oct 2, 2025 · 2 min read

Organising Committees

YearConferenceRole
202632nd International Conference on Principles and Practice of Constraint Programming (CP)Website Chair

Programme and Review Committees

YearConferenceRole
20262nd ACM Virtual Global Computing Education Conference (SIGCSE Virtual)Senior PC Member
202640th Annual Conference on Neural Information Processing Systems (NeurIPS)PC Member
202643rd International Conference on Machine Learning (ICML)PC Member
202635th International Conference on Artificial Intelligence, and the 29th European Conference on Artificial Intelligence (IJCAI-ECAI)PC Member
2026ACM Transactions on Software Engineering and Methodology (TOSEM)Reviewer
2026ACM Transactions on Computing Education (TOCE)Reviewer
2026IEEE Transactions on Learning Technologies (TLT)Reviewer
2026Journal of Systems and Software (JSS)Reviewer
20262026 European Conference on Object-Oriented Programming (ECOOP)External Reviewer
202540th Annual AAAI Conference on Artificial Intelligence (AAAI)PC Member
202528th European Conference on Artificial Intelligence (ECAI)PC Member
202526th International Conference on Artificial Intelligence in Education (AIED)PC Member
202534th International Joint Conference on Artificial Intelligence (IJCAI)PC Member
20241st ACM Virtual Global Computing Education Conference (SIGCSE Virtual)PC Member
202433rd International Joint Conference on Artificial Intelligence (IJCAI)PC Member

Sub-reviewer

YearConference
202427th International Conference on Theory and Applications of Satisfiability Testing (SAT) — Reviewer: Inês Lynce
202329th Conference on Automated Deduction (CADE) — Reviewer: Mikoláš Janota
202231st International Joint Conference on Artificial Intelligence (IJCAI) — Reviewer: Mikoláš Janota
20227th Conference on Artificial Intelligence and Theorem Proving (AITP) — Reviewer: Mikoláš Janota