Lecturer Junttila Tommi group

Tommi Junttila
- Computer Science Lecturers - Senior University Lecturer
- Computer Science - Algorithms and Theoretical Computer Science (TCS) - Senior University Lecturer
- Lecturer Junttila Tommi group - Senior University Lecturer
- Tietotekniikan laitos - Senior University Lecturer
- Helsinki Institute for Information Technology (HIIT) - Senior University Lecturer
Henkilö: Opetushenkilöstö
19982022

1 Conference contribution

Formal Analysis of Lending Pools in Decentralized Finance
Bartoletti, M., Chiang, J., Junttila, T., Lluch Lafuente, A., Mirelli, M. & Vandin, A., 2022, Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning - 11th International Symposium, ISoLA 2022, Proceedings. Margaria, T. & Steffen, B. (toim.). s. 335-355 21 Sivumäärä (Lecture Notes in Computer Science ; Vuosikerta 13703 LNCS).
Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

Open access
1 Sitaatiot (Scopus)

6 Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

Global Conference on Artificial Intelligence
Tommi Junttila (Member)
2020
Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys
International Joint Conference on Artificial Intelligence
Tommi Junttila (Member)
2020
Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys
AAAI Conference on Artificial Intelligence
Tommi Junttila (Member)
2020
Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys