The Department of Information Technologies (IT) is part of the Division of Natural Sciences and Technology at Åbo Akademi University. The IT Department provides education in Computer Science, Computer Engineering and Information Systems, at the bachelors level, masters level and postgradual level. The research and education is performed in cooperation with Turku Centre for Computer Science (TUCS).
Department of Information Technologies at Åbo Akademi University was feeling proud.
The Computational Biomodeling Laboratory (Combio) at our department received the Best Paper Award at the 14th International Conference on Computational Methods in Systems Biology (CMSB) for the article
Eugen Czeizler, Cristian Gratie, Wu Kai Chiu, Krishna Kanhaiya and Ion Petre - Target Controllability of Linear Networks
CMSB is the premiere conference on the computational methodological part of the systems biology research community.
The award comes with a great NVIDIA Tesla K40 GPU card.
It is the second time in a few years when the Combio team receives the best paper award at CMSB!
QS World University Rankings® 2014/15
Åbo Akademi University was ranked highest in Finland for its international student ratio !
New project: the Computational Biomodeling Laboratory received funding on "Network pharmacology: drug re-purposing and discovery of multi-drug therapies by analytical approaches". The project's PI is Dr. Eugen Czeizler. This line of research builds on the lab's recent results for network controlability algorithmics and aims to bring them closer to the comercial arena. The project is funded by TEKES through its "Challenge Finland" competition.
Saving Nemo in Kaapelitehdas.
Nemo is swiming around in Kaapelitehdas
|Anier, Aivo and Vain, Jüri and Tsiopoulos, Leonidas, DTRON: A Tool for Distributed Model-Based Testing of Time Critical Applications. In: Proceedings of the Estonian Academy of Sciences. 2017 1|
|Cherny, Eugene and Lilius, Johan and Brusila, Johannes and Mouromtsev, Dmitry and Rogozinsky, Gleb, An Approach for Structuring Sound Sample Libraries Using Ontology. In: Knowledge Engineering and Semantic Web. Ngomo, Axel-Cyrille Ngonga and Křemen, Petr (Eds.). Communications in Computer and Information Science Springer International Publishing, 2016|
|Neovius, Mats, A Model for Experience-Based Agent Specific Trust. In: In proceedings of The Eighth International Conference on Adaptive and Self-Adaptive Systems and Applications. Lloret Mauri, Jaime and Freire, Mario (Eds.). IARIA XPS Press, 2016|
|Sanwal, Usman and Petre, Luigia and Petre, Ion, Stepwise Construction of a Metabolic Network in Event-B: the Heat Shock Response. TUCS Technical Reports 1160. TUCS, 2016|
|Gratie, Diana-Elena and Gratie, Cristian, Composition Colored Petri Nets for the Refinement of Reaction-based Models. In: Electronic Notes in Theoretical Computer Science. Elsevier, 2016 1|
|Pradhan, Ranjita and Díaz Rodríguez, Natalia and Danielsson-Ojala, Riitta and Pirinen, Hanna and Hamari, Lotta and Tuominen, Ilona and Salanterä, Sanna and Soini, Annamari and Lilius, Johan, Medicine Tray Design and Security for Medication Administration Processes at Hospital Wards. In: CHI 2016 Tangibles for Health Workshop. Girouard, Audrey and McGookin, David and Siek, Katie and Shaer, Orit and Lennon, Marilyn and Bennett, Peter (Eds.). ACM, 2016|
|Kanhaiya, Krishna and Rogojin, Vladimir and Kazemi, Keivan and Czeizler, Eugen and Petre, Ion, NetControl4BioMed: A Pipeline for Biomedical Data Acquisition and Analysis of Network Controllability. TUCS Technical Reports 1163. 2016|
|Parsa, Masoumeh and Ashraf, Adnan and Truscan, Dragos and Porres, Ivan, On Optimization of Test Parallelization with Constraints. In: 1st Workshop on Continuous Software Engineering. ACM, 2016|
|Edmunds, Andrew and Waldén, Marina, On Component-Based Reuse for Event-B. In: Abstract State Machines, Alloy, B, TLA, VDM, and Z. Butler, M. and Schewe, K.-D. and Mashkoor, A. and Biro, M. (Eds.). Lecture Notes in Computer Science Springer, 2016|
|Bollacker, Kurt and Díaz Rodríguez, Natalia and Li, Xian, Beyond Clothing Ontologies: Modeling Fashion with Subjective Influence Networks. In: Machine Learning meets fashion KDD Workshop. Raykar, Vikas C. and Klingenberg, Brad and Xu, Heng and Singh, Raghavendra and Saha, Amrita (Eds.). ACM, 2016 2|
|Sepinoud Azimi and Charmi Panchal and Andrzej Mizera and Ion Petre, Multi-Stability, Limit Cycles, and Period-Doubling Bifurcation with Reaction Systems. In: TUCS Technical Reports. TUCS, 2016|
|Sten, Johan and Lilja, Harri and Hyväluoma, Jari and Westerholm, Jan and Aspnäs, Mats, Parallel Flow Accumulation Algorithms for Graphical Processing Units with Application to RUSLE Model. In: Computers & Geosciences. Elsevier, 2016|
|Edmunds, Andrew and Olszewska, Marta and Walden, Marina, Using the Event-B Formal Method for Disciplined Agile Delivery of Safety-critical Systems. In: SOFTENG 2016: The Second International Conference on Advances and Trends in Software Engineering. Kaindl, Hermann and Meli, Roberto (Eds.). IARIA, 2016|
|Iqbal, Junaid and Tsiopoulos, Leonidas and Truscan, Dragos and Vain, Jüri and Porres, Ivan, The Crisis Management System – A Case Study in Aspect-Oriented Modeling Using UPPAAL. TUCS Technical Reports 1169. Turku Centre for Computer Science, 2016|
|Czeizler, Eugen and Gratie, Cristian and Wu, Kai Chiu and Kanhaiya, Krishna and Petre, Ion, Target Controllability of Linear Networks. TUCS Technical Reports 1157. TUCS, 2016|