Veeti Ahvonen
About me
I am a PhD student and supervised by Antti Kuusisto and Lauri Hella. I graduated with a Master's degree in mathematics from Tampere University 2022. I sometimes work as a teaching assistant for mathematics courses.
Fields of expertise
- Mathematical logic
- Descriptive complexity
Mission statement
Study descriptive complexity of modern models of computing e.g. distributed computing and neural networks.
Research topics
Mathematical logic
Descriptive complexity
Finite model theory
Funding
Selected publications
Latest publications
Descriptive complexity for distributed computing with circuits
Ahvonen, V., Heiman, D., Hella, L. & Kuusisto, A., 2025, In: JOURNAL OF LOGIC AND COMPUTATION. 35, 5, exae087.Research output: Contribution to journal › Article › Scientific › peer-review
Descriptive Complexity for Neural Networks via Boolean Networks
Ahvonen, V., Heiman, D. & Kuusisto, A., 27 Feb 2024, 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024). Murano, A. & Silva, A. (eds.). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vol. 288. p. 9:1-9:22 22 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 288).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Logical Characterizations of Recurrent Graph Neural Networks with Reals and Floats
Ahvonen, V., Heiman, D., Kuusisto, A. & Lutz, C., 10 Dec 2024, (E-pub ahead of print) The Thirty-eighth Annual Conference on Neural Information Processing Systems. NeurIPS, 45 p. (Advances in neural information processing systems).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Descriptive Complexity for Distributed Computing with Circuits
Ahvonen, V., Heiman, D., Hella, L. & Kuusisto, A., Aug 2023, 48th International Symposium on Mathematical Foundations of Computer Science, MFCS 2023. Leroux, J., Lombardy, S. & Peleg, D. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 9. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 272).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Descriptive complexity for neural networks via Boolean networks
Ahvonen, V., Heiman, D. & Kuusisto, A., 2023, (Submitted).Research output: Working paper › Preprint › Scientific