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
-
-
PharmAInteraction
Andtfolk, M., Hägglund, S., Andersson, S., Rosenberg, S., Wingren, M., Lundell, A. & Nyholm, L.
01/09/23 → 31/08/24
Project: Research Council of Finland/Other Research Councils
-
Publications
-
Contract-Based Design of Dataflow Programs
Wiik, J., 2024, Åbo Akademi.Research output: Types of Thesis › Doctoral Thesis › Collection of Articles
Open Access -
Dynamic Test Case Prioritization in Industrial Test Result Datasets
Torbunova, A., Strandberg, P. E. & Porres, I., 2024, (Submitted) 5th ACM/IEEE International Conference on Automation of Software Test (AST 2024). 4 p.Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
-
Social robot interventions in medication processes - A scoping review
Andtfolk, M., Rosenberg, S., Hägglund, S., Jayasingha Arachchige, P. & Nyholm, L., 2024, (Submitted) In: International Journal Of Social Robotics.Research output: Contribution to journal › Article › Scientific › peer-review
Datasets
-
-
ABOships-PLUS
Winsten, J. (Creator), Iancu, B. (Contributor), Soloviev, V. (Contributor) & Lilius, J. (Contributor), Zenodo, 27 Sept 2023
Dataset
-
Dataset - Survey results - Applying Model-based Requirements Engineering in AIDOaRt Collaborative Project
Sadovykh, A. (Creator), Said, B. (Creator), Truscan, D. (Creator) & Bruneliere, H. (Creator), Zenodo, 14 Mar 2023
DOI: 10.5281/zenodo.8324734, https://zenodo.org/record/8324734
Dataset
Prizes
Activities
-
A Distributed Framework for Sparse Convex Optimization: Algorithms and Software Tools
Alireza Olama (Speaker)
26 Jan 2024Activity: Talk or presentation › Public or invited talk
-
The Royal Institute of Technology (KTH)
Alireza Olama (Visiting researcher)
22 Jan 2024 → 1 Feb 2024Activity: Visiting an external institution › Visiting an external academic institution
-
The Royal Institute of Technology (KTH)
Andreas Lundell (Visiting researcher)
27 Nov 2023 → 10 Dec 2023Activity: Visiting an external institution › Visiting an external academic institution
Press/Media
-
Intervju om nytt utbildningspaket med fokus på batteriindustrin på svenska.yle.fi
23/08/21
1 Media contribution
Press/Media