!!Research output per year
!!Research output per year
Henkilökohtainen profiili
Asemat yliopiston ulkopuolella
Principal Investigator, Helsinki Institute of Information Technology
1 maalisk. 2013 → …
Professori, Aalto University
1 elok. 2008 → 31 jouluk. 2018
Tieteenalat
- 113 Tietojenkäsittely- ja informaatiotieteet
Ohjaaja tohtoriohjelmassa
- Matemaattis-luonnontieteellinen tohtoriohjelma
Yhteistyöt ja huippututkimusalueet viimeisiltä viideltä vuodelta
Viimeisin maa-/aluetasolla toteutettu yhteistyö. Saat tarkempia lisätietoja pisteitä napauttamalla, tai
Tutkimustuotos
-
Certifying Constraints in Hardware Model Checking
Froleyks, N., Yu, E., Biere, A. & Heljanko, K. T., 2026, Formal Methods. FM 2026.. Springer Science+Business Media, s. 170-188 19 Sivumäärä (Lecture notes in computer science; Vuosikerta 16556).Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Kirjan luku tai artikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto -
Explainable machine learning highlights the role of diffuse radiation in ecosystem carbon uptake of boreal forest
Laanti, T. M., Aarne, A., Durand, M., Noe, S. M., Miles, V., Krasnov, D., Kulmala, M., Heljanko, K., Lintunen, A. & Ezhova, E., 6 heinäk. 2026, julkaisussa: Environmental Data Science. 5, e15.Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto -
A generalized disjunctive programming model for the static bike sharing rebalancing problem with demand intervals
Ikonen, T. J., Heljanko, K. & Harjunkoski, I., 25 helmik. 2025, julkaisussa: Optimization and Engineering. 26, s. 1781-1813 33 SivumääräTutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto -
Explainable machine learning for modeling of net ecosystem exchange in boreal forests
Ezhova, E., Laanti, T. M., Lintunen, A., Kolari, P., Nieminen, T., Mammarella, I., Heljanko, K. & Kulmala, M., 13 tammik. 2025, julkaisussa: Biogeosciences. 22, 1, s. 257-288 32 SivumääräTutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto -
Introducing Certificates to the Hardware Model Checking Competition
Froleyks, N., Yu, E., Preiner, M., Biere, A. & Heljanko, K., 2025, Computer Aided Verification, Cav 2025, Pt I. Piskac, R. & Rakamaric, Z. (toim.). Springer Nature, s. 281-295 15 Sivumäärä (Lecture Notes In Computer Science; Vuosikerta 15931).Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto
Projektit
- 2 Aktiivinen
-
Massiivisen rinnakkaisen GPU laskennan suunnittelumenetelmiä (MaPaGPU)
Heljanko, K. T. (Projektinjohtaja), Rechardt, A. (osallistuja), Sarén, J. S. (osallistuja) & Tong, H. (osallistuja)
01/09/2025 → 31/08/2029
Projekti: Suomen Akatemia: Akatemiahanke
-
LUMI AI Factory - Service Center
Heljanko, K. T. (Projektinjohtaja), Dönges, S. I. (osallistuja), Lappi, O. J. (osallistuja), Medlar, A. (osallistuja), Niskanen, A. (osallistuja), Robertson, F. R. (osallistuja), Rodriguez Beltran, S. (osallistuja), Sarapisto, T. (osallistuja), Satrio, N. R. B. (osallistuja), Tong, H. (osallistuja) & Wang, Y. (osallistuja)
European Commission, CSC-Tieteen tietotekniikan keskus Oy
01/03/2025 → 29/02/2028
Projekti: EU Horizon Europe Joint Undertaking (JU-RIA)
Lehtileikkeet
-
GPU Memory Consistency: Specifications, Testing, and Opportunities for Performance Tooling
Basu, A., Gavrilenko, N., Heljanko, K. T., Levine, R., Nayak, A., Ponce-De-Leon, H., Sorensen, T. & Tong, H.
06/06/2025
1 Median myötävaikutus
Lehdistö/media
-
-
Nvidia and Finnish researchers create AI technology center
27/05/2020
1 kohde/ Medianäkyvyys
Lehdistö/media
-
CSC: Finnish Center for AI and NVIDIA to establish a joint NVIDIA AI Technology Center
Kaski, S. & Heljanko, K.
26/05/2020
2 kohdetta/ Medianäkyvyys
Lehdistö/media
-
-UNIVERSITY OF HELSINKI: Future search engines will help users find information they don't even know they are looking for
Heljanko, K. & Ruotsalainen, L.
17/06/2019
1 kohde/ Medianäkyvyys
Lehdistö/media