Oma esittely
Olen väitöskirjatutkija ja ohjaajani ovat Antti Kuusisto sekä Lauri Hella. Valmistuin Tampereen yliopistosta Filosofian maisteriksi (matematiikka) 2022. Toimin myös satunnaisesti matematiikan kurssien apulaisopettajana.
Osaamisalueiden kuvaus
- Matemaattinen logiikka.
- Kuvaileva vaativuusteoria, erityisesti moderneille laskennan malleille.
Tutkimustavoitteet
Kuvailla moderneja laskennan malleja matemaattisen logiikan avulla ja päin vastoin. Näihin liittyvien logiikoiden ilmaisuvoiman ja laskennallisen vaativuuden tutkiminen.
Tutkimuskohteet
Matemaattinen logiikka
Kuvaileva vaativuusteoria
Äärellisten mallien teoria
Tutkimusrahoitus
Merkittävimmät julkaisut
Lista julkaisuista DBLP-palvelussa
Uusimmat julkaisut
Descriptive complexity for distributed computing with circuits
Ahvonen, V., Heiman, D., Hella, L. & Kuusisto, A., 2025, julkaisussa: JOURNAL OF LOGIC AND COMPUTATION. 35, 5, exae087.Tutkimustuotos: Artikkeli › Tieteellinen › vertaisarvioitu
Descriptive Complexity for Neural Networks via Boolean Networks
Ahvonen, V., Heiman, D. & Kuusisto, A., 27 helmik. 2024, 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024). Murano, A. & Silva, A. (toim.). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vuosikerta 288. s. 9:1-9:22 22 Sivumäärä (Leibniz International Proceedings in Informatics (LIPIcs); Vuosikerta 288).Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
Logical Characterizations of Recurrent Graph Neural Networks with Reals and Floats
Ahvonen, V., Heiman, D., Kuusisto, A. & Lutz, C., 10 jouluk. 2024, (E-pub ahead of print) The Thirty-eighth Annual Conference on Neural Information Processing Systems. NeurIPS, 45 Sivumäärä (Advances in neural information processing systems).Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
Descriptive Complexity for Distributed Computing with Circuits
Ahvonen, V., Heiman, D., Hella, L. & Kuusisto, A., elok. 2023, 48th International Symposium on Mathematical Foundations of Computer Science, MFCS 2023. Leroux, J., Lombardy, S. & Peleg, D. (toim.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 9. (Leibniz International Proceedings in Informatics, LIPIcs; Vuosikerta 272).Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
Descriptive complexity for neural networks via Boolean networks
Ahvonen, V., Heiman, D. & Kuusisto, A., 2023, (Submitted).Tutkimustuotos: Esipainos › Tieteellinen