About me
I am a postdoctoral researcher funded by HIIT in computer science at Aalto University, with Professor Jussi Rintanen, and also affiliated with the Constraint Reasoning and Optimization group at University of Helsinki. My research interests include artificial intelligence, knowledge representation and reasoning, constraint solving, computational argumentation, and computationally hard combinatorial search and optimization problems.
My doctoral research focused on efficient reasoning tools for computational argumentation via Boolean satisfiability (SAT) and answer set programming (ASP). I defended my PhD thesis Computational Approaches to Reasoning in Structured Argumentation in June 2023 with Henry Prakken as the opponent. The thesis was accepted with distinction.
Recent/selected papers
- AIJ (2025): ICCMA 2023: 5th International Competition on Computational Models of Argumentation with Matti Järvisalo and Andreas Niskanen
- KR 2024: Complexity Results and Algorithms for Preferential Argumentative Reasoning in ASPIC+ with Daphne Odekerken, Johannes P. Wallner and Matti Järvisalo
- ECAI 2024: SAT-Based Approaches to Reasoning in Choice Logics with Andreas Niskanen and Matti Järvisalo
- COMMA 2024: On Computing Admissibility in ABA with Anna Rapberger, Francesca Toni, Markus Ulbricht and Johannes P. Wallner
- IJCAI 2024: Instantiations and Computational Aspects of Non-Flat Assumption-based Argumentation with Anna Rapberger, Francesca Toni, Markus Ulbricht and Johannes P. Wallner
- KR 2023:
- Argumentative Reasoning in ASPIC+ under Incomplete Information with Daphne Odekerken, AnneMarie Borg, Johannes P. Wallner and Matti Järvisalo
- Argumentation Frameworks Induced by Assumption-based Argumentation: Relating Size and Complexity with Anna Rapberger, Markus Ulbricht and Johannes P. Wallner
- JAIR (2021): Declarative Algorithms and Complexity Results for Assumption-Based Argumentation with Johannes P. Wallner and Matti Järvisalo
Activities
- PC member: ECAI 2025, IJCAI 2025, KR 2024 (in the Wild Track), SAFA 2024
- Reviewer: JAIR, IJAR
- Co-organizer of the argumentation system competition ICCMA 2023
- Local organizer: FoIKS 2022
- Subreviewer: SAFA 2022
Previously
- In 2020, I started my doctoral studies in the Constraint Reasoning and Optimization group at University of Helsinki, with full four-year funding from the university. My supervisors were Matti Järvisalo and Johannes P. Wallner.
- I obtained my master’s degree from University of Helsinki in 2019 and bachelor’s degree in 2018.