Projects per year
Organisation profile
Organisation profile
The research at Information Technology is organized around on three themes: development of mission-critical software, the industrial internet and algorithms and software in bio engineering:
- Mission-critical software focuses on the design and development of high quality, reliable software systems. This includes formal methods in system design, software testing, explainable AI for the development of autonomous systems, high performance software and low-power and energy efficient software systems.
- Industrial internet focuses on the interconnections of sensors and actuators with computer systems in industrial and manufacturing applications. We study the creation of digital twins for performance and reliability evaluation in challenging industrial systems.
- Algorithms and software in bio engineering focuses on research on computational systems ,biology natural computing, network analysis theory of computing and computational modelling.
Fingerprint
Collaborations and top research areas from the last five years
Research units
Profiles
-
AI-LokalDemo: AI i lokaldemokratins tjänst
Lundell, A. (Principal Investigator), Westö, J. (Principal Investigator) & Backholm-Nyberg, Y. (Co-Principal Investigator)
01/06/24 → 30/06/25
Project: Foundation
-
VST: Virtual Sea Trial
Truscan, D. (Principal Investigator), Hellström, M. (Principal Investigator), Porres Paltor, I. (Co-Principal Investigator), Ahmad, T. (Co-Investigator), Chariyarupadannayil Sudheerbabu, G. (Project staff), Yaseen, A. (Project staff), Khan, M. S. W. (Project staff) & Mughees, A. (Project staff)
01/01/24 → 31/12/26
Project: Industry/Business Finland
-
MADNESS: Centre of Excellence in Materials-driven solutions for combatting antimicrobial resistance
Rosenholm, J. (Principal Investigator), Porres Paltor, I. (Co-Principal Investigator), Bansal, K. (Coordinator), Lafond, S. (Co-Principal Investigator), Uppstu, P. (Co-Principal Investigator), Viitala, T. (Co-Principal Investigator), Wang, X. (Co-Principal Investigator), Wilen, C.-E. (Co-Principal Investigator), Xu, C. (Co-Principal Investigator), Zhang, H. (Co-Principal Investigator), Lu, Z. (Co-Investigator), Verma, J. (Co-Investigator), Kumar, V. (Co-Investigator), Frejborg, F. (Co-Investigator), Wang, S. (Co-Investigator), Ran, M. (Co-Investigator), Ma, X. (Co-Investigator), Yang, W. (Co-Investigator), Liang, S. (Co-Investigator), Zhang, Y. (Co-Investigator), Fan, L. (Co-Investigator), Chen, Y. (Co-Investigator), Wang, L. (Co-Investigator), Zhuang, P. (Co-Investigator), Peltomäki, J. (Co-Investigator), Rajan Prakash, D. (Co-Investigator), Howaili, F. (Co-Investigator), Gulshan, R. (Co-Investigator), Yadav, D. (Co-Investigator), Pathak, C. (Co-Investigator), Mustafa, R. (Co-Investigator) & Rostami, L. (Co-Investigator)
01/01/24 → 31/12/28
Project: Foundation
Publications
-
Adaptive test generation for unmanned aerial vehicles using WOGAN-UAV
Winsten, J., Soloviev, V., Peltomäki, J. & Porres, I., Sept 2024, 2024 ACM/IEEE International Workshop on Search-Based and Fuzz Testing (SBFT ’24). ACM, 2 p.Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
Open AccessFile4 Downloads (Pure) -
AI FOR ENGINEERS, A USEFUL BUT DANGEROUS TOOL
Björkqvist, J., 2024, CDIO Conference proceedings.Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
-
A Maturity Model for Evaluating Data-Driven Sustainability Management
Sell, A., Björkqvist, J., Hakala, J., Hellman, F., Hu, X., Karlström, O., Lindgren, A., Lundell, A. & Martin-Granizo, A., 28 May 2024, Proceedings of the 37th Bled eConference: Resilience through Digital Innovation: Enabling the Twin Transition . Pucihar , A., Borštnar, M. K., Blatnik, S., Bons, R. W. H., Smit, K. & Heikkilä, M. (eds.). University of Maribor, University Press, p. 211-226Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
Open AccessFile61 Downloads (Pure)
Datasets
-
Performance Exploration Dataset
Ahmad, T. (Creator) & Truscan, D. (Creator), Zenodo, 1 Oct 2020
Dataset
-
ABOships-PLUS
Jesper, W. (Creator), Bogdan, I. (Creator), Valentin, S. (Creator), Johan, L. (Creator) & Soloviev, V. (Contributor), Zenodo, 8 Jan 2024
DOI: 10.5281/zenodo.10469672, https://zenodo.org10469672
Dataset
-
ARCH-COMP 2023 Category Report: Falsification - Validation
Menghi, C. (Creator), Arcaini, P. (Creator), Baptista, W. (Creator), Ernst, G. (Creator), Fainekos, G. (Creator), Formica, F. (Creator), Gon, S. (Creator), Khandait, T. (Creator), Kundu, A. (Creator), Pedrielli, G. (Creator), Peltomäki, J. (Creator), Porres, I. (Creator), Ray, R. (Creator), Waga, M. (Creator) & Zhang, Z. (Creator), Zenodo, 11 Jun 2023
DOI: 10.5281/zenodo.8024426, https://zenodo.org/record/8024426
Dataset
Prizes
-
Best Paper Award
Ahmad, T. (Recipient) & Truscan, D. (Recipient), 2024
Prize: Award or honor granted for a specific work
-
-
Activities
-
Distributed Interpretable Machine Learning on GPUs
Olama, A. (Speaker), Lundell, A. (Contributor) & Kronqvist, J. (Contributor)
30 Jun 2024 → 4 Jul 2024Activity: Talk or presentation › Conference presentation
-
Mälardalen University
Iancu, B. (Visiting lecturer)
17 Jun 2024 → 18 Jun 2024Activity: Visiting an external institution › Visiting an external academic institution
-
Sustainable AI - Navigating the Trade-Offs
Lundell, A. (Speaker)
22 May 2024Activity: Talk or presentation › Public or invited talk
Press/Media
-
Intervju om nytt utbildningspaket med fokus på batteriindustrin på svenska.yle.fi
23/08/21
1 Media contribution
Press/Media