Community Service

Oct 2, 2025 · 1 min read

PC Member (Reviewer)

YearConference
202640th Annual AAAI Conference on Artificial Intelligence (AAAI)
202528th European Conference on Artificial Intelligence (ECAI)
202526th International Conference on Artificial Intelligence in Education (AIED)
202534th International Joint Conference on Artificial Intelligence (IJCAI)
20241st ACM Virtual Global Computing Education Conference (SIGCSE Virtual)
202433rd International Joint Conference on Artificial Intelligence (IJCAI)

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