headshot

Veeti Ahvonen

I am a PhD student in mathematics at Tampere University and supervised by Associate Professor Antti Kuusisto and Emeritus Professor Lauri Hella. My studies are currently funded by the Vilho, Yrjö and Kalle Väisälä Foundation.

My research interests: logic in computer science and finite model theory.

Tampere University - veeti.ahvonen[at]tuni.fi

    Publications

  1. Descriptive Complexity for Distributed Computing with Circuits (arXiv preprint and Conference version) with Damian Heiman, Lauri Hella and Antti Kuusisto, Journal of Logic and Computation 2025.
  2. Logical Characterizations of Recurrent Graph Neural Networks with Reals and Floats (arXiv preprint) with Damian Heiman, Antti Kuusisto and Carsten Lutz, Neural Information Processing Systems 2024.
  3. Graded Modal Logic and Counting Message Passing Automata with Damian Heiman and Antti Kuusisto, January 2024.
  4. Descriptive Complexity for Neural Networks via Boolean Networks (arXiv preprint) with Damian Heiman and Antti Kuusisto, Annual Conference on Computer Science Logic 2024.

    Presentations

  1. Logical characterizations for recurrent graph neural networks with reals and floats (poster). A poster presentation, NeurIPS 2024, Vancouver Canada, 16 December 2024.
  2. Games for graded modal substitution calculus. Logic and discrete mathematics seminar, Tampere University, 15 November 2024.
  3. Mathematics and Statistical Data Analysis Career Event. An event for students about careers organized by Luuppi ry, 5 November 2024.
  4. New directions in descriptive complexity (slides). Young researchers session, Finnish Mathematical Days 2024, Aalto University, 5 January 2024.
  5. Descriptive complexity for neural networks via Boolean networks (slides). With Damian Heiman, Logic and discrete mathematics seminar, Tampere University, 3 November 2023.
  6. Kuvailevaa vaativuusteoriaa neuroverkoille (slides). A lecture in the course "Logiikan uusimpia suuntauksia", Tampere University, 21 September 2023.
  7. Modal logic and distributed computing with identifiers. Logic and discrete mathematics seminar, Tampere University, 9 December 2022.

    Visits

  1. Research visit: Prof. Valentin Goranko, Stockholm University, Sweden, 1 week during January 2024.
  2. Research visit: Prof. Valentin Goranko, Stockholm University, Sweden, 4 weeks during April 2023.