| ICT 2023: Ohjelmistot innovaation, liiketoiminnan ja kestävän kehityksen lähteenä LT |
|
| ||||||||
| 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 | ||
|
|
||||||||