Veeti Ahvonen
Student, Doctoral Research
Tampere University
veeti.ahvonen [at] tuni.fi (veeti[dot]ahvonen[at]tuni[dot]fi)
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
Currently funded by the Vilho, Yrjö and Kalle Väisälä Foundation
Selected publications
Latest publications
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
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