Projects per year
Organization 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
Network
Profiles
-
Malin Andtfolk
- Faculty of Science and Engineering, Information Technology - Doctoral student
- Solutions for Health
Person: Academic
-
AIDOaRT
Porres Paltor, I., Truscan, D., Nybom, K. & Logacheva, E.
01/04/21 → 31/03/24
Project: Research
-
SMARTER: Sea4Value Smart Terminals
Hellström, M., Lilius, J., Tsvetkova, A., Långstedt, J., Chen, Y. & Iancu, B.
18/02/21 → 17/02/23
Project: Industry/Business Finland
-
AutoMare EduNet: Autonomisen merenkulun koulutusverkosto
Hellström, M., Tsvetkova, A., Lilius, J. & Ringbom, H.
01/12/20 → 30/11/22
Project: Research
Publications
-
Adaptive data predictions for the energy sector at national level
Vezeteu, P. V., Morariu, A. R. & Năstac, D. I., 2022, 2021 IEEE 27th International Symposium for Design and Technology in Electronic Packaging (SIITME): Conference Proceedings. IEEE, p. 292-297 6 p. (International Symposium for Design and Technology of Electronics Packages (SIITME)).Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
Open AccessFile1 Downloads (Pure) -
Scalable reaction network modeling with automatic validation of consistency in Event-B
Sanwal, U., Hoang, T. S., Petre, L. & Petre, I., Jan 2022, In: Scientific Reports. 12, 9 p., 1287.Research output: Contribution to journal › Article › Scientific › peer-review
Open Access -
The supporting hyperplane optimization toolkit for convex MINLP
Lundell, A., Kronqvist, J. & Westerlund, T., 2022, In: Journal of Global Optimization. 41 p.Research output: Contribution to journal › Article › Scientific › peer-review
Open Access
Datasets
-
-
ABOships
Iancu, B. (Creator), Soloviev, V. (Creator), Zelioli, L. (Creator) & Lilius, J. (Creator), Zenodo, 2021
Dataset
Prizes
Activities
-
Robotar och teknologi i framtidens vård
Linda Nyholm (Speaker) & Malin Andtfolk (Speaker)
19 Nov 2021Activity: Talk or presentation › Oral presentation
-
5th International Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems
Mehrdad Saadatmand (Organiser), Dragos Truscan (Organiser) & Eduard Paul Enoiu (Organiser)
12 Apr 2021Activity: Participating in or organising an event › Organising a conference, workshop, ...
-
Women in Tech - Writing a New Script
Sepinoud Azimi Rashti (Speaker)
16 Sep 2020Activity: Talk or presentation › Public or invited talk
Courses
Press / Media
-
Intervju om nytt utbildningspaket med fokus på batteriindustrin på svenska.yle.fi
23/08/21
1 Media contribution
Press/Media