Veeti Ahvonen
Scholar

Veeti Ahvonen

Google Scholar ID: TxPzoeAAAAAJ
Tampere University
Mathematical logicDescriptive Complexity
Citations & Impact
All-time
Citations
19
 
H-index
3
 
i10-index
1
 
Publications
9
 
Co-authors
2
list available
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.