Veeti Ahvonen
jatko-opiskelija, väitöskirjatutkimus
Tampereen yliopisto
veeti.ahvonen [at] tuni.fi (veeti[dot]ahvonen[at]tuni[dot]fi)
Verkkosivuthttps://homepages.tuni.fi/veeti.ahvonen/
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
Vilho, Yrjö ja Kalle Väisälä säätiön apuraha väitöskirjatyöskentelyyn.
Merkittävimmät julkaisut
Lista julkaisuista DBLP-palvelussa
Uusimmat julkaisut
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
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