Annual Conference for Computer Science Logic · 2023
Cited
2
Resume (English only)
Academic Achievements
Published multiple papers including 'Expressive Power of Graph Transformers via Logic' and 'Games for Graded Modal Substitution Calculus'; presented at various conferences.
Research Experience
Doctoral researcher at Tampere University; research visits to Stockholm University, Sweden, in January 2024 and April 2023.
Education
PhD in Mathematics at Tampere University, supervised by Associate Professor Antti Kuusisto and Emeritus Professor Lauri Hella. Studies are funded by the Vilho, Yrjö and Kalle Väisälä Foundation.
Background
Research interests: logic in computer science and finite model theory.
Miscellany
Received a three-year scholarship from the Väisälä foundation (total 79,000 €); served as a reviewer for AAAI 2026, IJCAI 2025, CSL 2025, and AAMAS 2025; worked as a teaching assistant in several mathematics courses; worked as a research assistant in 2021 on accessible LaTeX documents.