Research output per year
Research output per year
Personal profile
External positions
Principal Investigator, Helsinki Institute of Information Technology
1 Mar 2013 → …
Associate Professor, Aalto University
1 Aug 2008 → 31 Dec 2018
Supervisor for doctoral programme
- Doctoral Programme in Science
Fields of Science
- 113 Computer and information sciences
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Certifying Constraints in Hardware Model Checking
Froleyks, N., Yu, E., Biere, A. & Heljanko, K. T., 2026, Formal Methods. FM 2026.. Springer Science+Business Media, p. 170-188 19 p. (Lecture notes in computer science; vol. 16556).Research output: Chapter in Book/Report/Conference proceeding › Chapter › Scientific › peer-review
Open AccessFile -
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 Jul 2026, In: Environmental Data Science. 5, e15.Research output: Contribution to journal › Article › Scientific › peer-review
Open AccessFile -
A generalized disjunctive programming model for the static bike sharing rebalancing problem with demand intervals
Ikonen, T. J., Heljanko, K. & Harjunkoski, I., 25 Feb 2025, In: Optimization and Engineering. 26, p. 1781-1813 33 p.Research output: Contribution to journal › Article › Scientific › peer-review
Open AccessFile -
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 Jan 2025, In: Biogeosciences. 22, 1, p. 257-288 32 p.Research output: Contribution to journal › Article › Scientific › peer-review
Open AccessFile -
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. (eds.). Springer Nature, p. 281-295 15 p. (Lecture Notes In Computer Science; vol. 15931).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Open AccessFile
Projects
- 2 Active
-
Design Methods for Massively Parallel GPU Computing (MaPaGPU)
Heljanko, K. T. (Project manager), Rechardt, A. (Participant), Sarén, J. S. (Participant) & Tong, H. (Participant)
01/09/2025 → 31/08/2029
Project: Research Council of Finland: Academy Project
-
LUMI AI Factory - Service Center
Heljanko, K. T. (Project manager), Dönges, S. I. (Participant), Lappi, O. J. (Participant), Medlar, A. (Participant), Niskanen, A. (Participant), Robertson, F. R. (Participant), Rodriguez Beltran, S. (Participant), Sarapisto, T. (Participant), Satrio, N. R. B. (Participant), Tong, H. (Participant) & Wang, Y. (Participant)
European Commission, CSC-Tieteen tietotekniikan keskus Oy
01/03/2025 → 29/02/2028
Project: EU Horizon Europe Joint Undertaking (JU-RIA)
Press/Media
-
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 Media contribution
Press/Media: Press / Media
-
Nvidia and Finnish researchers create AI technology center
27/05/2020
1 item of Media coverage
Press/Media: Press / Media
-
Finnish AI research gets boost from NVIDIA
27/05/2020
1 item of Media coverage
Press/Media: Press / Media
-
CSC: Finnish Center for AI and NVIDIA to establish a joint NVIDIA AI Technology Center
Kaski, S. & Heljanko, K.
26/05/2020
2 items of Media coverage
Press/Media: Press / 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 item of Media coverage
Press/Media: Press / Media