![]() | ||||||||
Suomen Akatemia | Rahoituspäätökset | 12.12.2019 | ||||||
Päätösvuosi: | ||||||||
Haku: | 2019 ICT 2023: Ohjelmistot innovaation, liiketoiminnan ja kestävän kehityksen lähteenä | |||||||
Hankkeiden lukumäärä: | 4 | |||||||
Hankkeiden rahoitus: | 1 345 955 € | |||||||
Hakija / Yhteyshenkilö | Organisaatio | Tutkimusaihe | Päätös | Päätöspvm | Rahoituskausi | |||
|
||||||||
| ||||||||
Brzuska, Chris | Aalto-yliopisto | Cryptographic Protocol Efficiency via SAT solving (CryptoProSAT) | 328698 | 04.09.2019 | 01.01.2020 - 31.12.2022 | 444 000 | ||
|
||||||||
Mäntylä, Mika | Oulun yliopisto | Teknisen velan tunnistamisen luonnollisen kielen käsittelyllä | 328058 | 04.09.2019 | 01.01.2020 - 31.12.2022 | 415 356 | ||
|
||||||||
Rossi, Matti | Aalto-yliopisto | Strateginen lähestymistapa skaalattavaan alustapohjaiseen ohjelmistojen ja järjestelmien kehitykseen / Konsortio: SASSE | 328738 | 04.09.2019 | 01.01.2020 - 31.12.2022 | 237 861 | ||
|
||||||||
Smolander, Kari | Lappeenrannan-Lahden teknillinen yliopisto LUT | Strateginen lähestymistapa skaalattavaan alustapohjaiseen ohjelmistojen ja järjestelmien kehitykseen / Konsortio: SASSE | 328737 | 04.09.2019 | 01.01.2020 - 31.12.2022 | 248 738 | ||
|