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
- KR’24: Complexity Results and Algorithms for Preferential Argumentative Reasoning in ASPIC+ with Daphne Odekerken, Johannes P. Wallner and Matti Järvisalo
- ECAI’24: SAT-Based Approaches to Reasoning in Choice Logics with Andreas Niskanen and Matti Järvisalo
- COMMA’24: On Computing Admissibility in ABA with Anna Rapberger, Francesca Toni, Markus Ulbricht and Johannes P. Wallner
- IJCAI’24: Instantiations and Computational Aspects of Non-Flat Assumption-based Argumentation with Anna Rapberger, Francesca Toni, Markus Ulbricht and Johannes P. Wallner
- KR’23:
- 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
- Arg&App @ KR’23 (invited paper): Design of ICCMA 2023, 5th International Competition on Computational Models of Argumentation: A Preliminary Report with Andreas Niskanen and Matti Järvisalo
- JAIR (2021): Declarative Algorithms and Complexity Results for Assumption-Based Argumentation with Johannes P. Wallner and Matti Järvisalo
Activities
- Co-organizer of the argumentation system competition ICCMA 2023
- PC member: KR 2024 (in the Wild Track), SAFA 2024
- Reviewer: IJAR
- 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.