Veeti Ahvonen
jatko-opiskelija, väitöskirjatutkimus
Tampereen yliopisto
Sähköpostiosoiteveeti.ahvonen [at] tuni.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.
Uusimmat julkaisut
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.). 9. (Leibniz International Proceedings in Informatics, LIPIcs; Vuosikerta 272).Tutkimustuotos: Konferenssiartikkeli › Scientific › vertaisarvioitu