Projekteja vuodessa
Organisaation profiili
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.
Sormenjälki
Verkko
Profiilit
-
Malin Andtfolk
- Faculty of Science and Engineering, Information Technology - Doctoral student
- Terveyteen liittyvät ratkaisut
Henkilö: Akateeminen
-
AIDOaRT
Porres Paltor, I., Truscan, D., Nybom, K. & Logacheva, E.
01/04/21 → 31/03/24
Projekti: 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
Projekti: Industry/Business Finland
-
AutoMare EduNet: Autonomisen merenkulun koulutusverkosto
Hellström, M., Tsvetkova, A., Lilius, J. & Ringbom, H.
01/12/20 → 30/11/22
Projekti: Research
Julkaisut
-
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, s. 292-297 6 Sivumäärä (International Symposium for Design and Technology of Electronics Packages (SIITME)).Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto1 Lataukset (Pure) -
Scalable reaction network modeling with automatic validation of consistency in Event-B
Sanwal, U., Hoang, T. S., Petre, L. & Petre, I., tammik. 2022, julkaisussa: Scientific Reports. 12, 9 Sivumäärä, 1287.Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu
Open access -
The supporting hyperplane optimization toolkit for convex MINLP
Lundell, A., Kronqvist, J. & Westerlund, T., 2022, julkaisussa: Journal of Global Optimization. 41 SivumääräTutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu
Open access
Tietoaineistot
-
Performance Exploration Dataset
Ahmad, T. (Luoja) & Truscan, D. (Luoja), Zenodo, 2020
DOI - pysyväislinkki: 10.5281/zenodo.6573924
Tietoaineisto
-
ABOships
Iancu, B. (Luoja), Soloviev, V. (Luoja), Zelioli, L. (Luoja) & Lilius, J. (Luoja), Zenodo, 2021
DOI - pysyväislinkki: 10.5281/zenodo.4736931
Tietoaineisto
Palkinnot
-
-
COIN-OR Cup 2018
Lundell, Andreas (Vastaanottaja) & Kronqvist, J. (Vastaanottaja), marrask. 2018
Palkinto
-
Aktiviteetit
-
Robotar och teknologi i framtidens vård
Linda Nyholm (Puhuja) & Malin Andtfolk (Puhuja)
19 marrask. 2021Aktiviteetti: Puhe tai esitys › Suullinen esitys
-
5th International Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems
Mehrdad Saadatmand (Järjestäjä), Dragos Truscan (Järjestäjä) & Eduard Paul Enoiu (Järjestäjä)
12 huhtik. 2021Aktiviteetti: Tapahtumaan osallistuminen tai tapahtuman järjestäminen › Konferenssin, työpajan järjestäminen...
-
Women in Tech - Writing a New Script
Sepinoud Azimi Rashti (Puhuja)
16 syysk. 2020Aktiviteetti: Puhe tai esitys › Julkinen esitelmä tai kusuttu puheenvuoro
Kurssit
Lehtileikkeet
-
Intervju om nytt utbildningspaket med fokus på batteriindustrin på svenska.yle.fi
23/08/21
1 Median myötävaikutus
Lehdistö/media