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 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
|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, Cristian and Petre, Ion, Complete Characterization for the Fit-Preserving Data Refinement of Mass-Action Reaction Networks. In: Theoretical Computer Science. Elsevier, 2016 2|
|Grönroos, Stefan, Efficient and Low-Cost Software Defined Radio on Commodity Hardware. TUCS Dissertations 218. 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|
|Wiik, Jonatan and Boström, Pontus, Contract-Based Verification of MATLAB-Style Matrix Programs. In: Formal Aspects of Computing. 2016 2|
|Vain, Jüri and Tsiopoulos, Leonidas and Boström, Pontus, Integrating Refinement-Based Methods for Developing Timed Systems. In: From Action Systems to Distributed Systems: The Refinement Approach. Petre, Luigia and Sekerinski, Emil (Eds.). Taylor & Francis, 2016 2|
|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 co-located with Software Engineering. Alperowitz, Lukas and Steffens, Andreas (Eds.). CEUR Workshop Proceedings, 2016|
|Czeizler, Eugen and Gratie, Cristian and Chiu, Wu Kai and Kanhaiya, Krishna and Petre, Ion, Target Controllability of Linear Networks. In: Computational Methods in Systems Biology. Bartocci, Ezio and Lio, Pietro and Paoletti, Nicola (Eds.). Lecture Notes in Bioinformatics Springer, 2016 1|
|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|
|Iliasov, Alexei and Romanovsky, Alexander and Troubitsyna, Elena and Laibinis, Linas, Formalisation-Driven Development of Safety-Critical Systems. In: HASE 2016 -- IEEE High Assurance Systems Engineering Symposium. Babiceanu, Radu and Waeselynck, Helene (Eds.). IEEE, 2016|
|Shirdel, Amir H. and Böling, Jari M. and Toivonen, Hannu T., System Identification in the Presence of Trends and Outliers Using Sparse Optimization. In: Journal of Process Control. Elsevier, 2016 2|
|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|
|Ahmad, Tanwir and Truscan, Dragos, Automatic Performance Space Exploration of Web Applications using Genetic Algorithms. In: The 31st ACM Symposium on Applied Computing. Ossowski, Sascha and Buttazzo, Giorgio and Kim, John (Eds.). ACM, 2016 1|
|From Action Systems to Distributed Systems - The Refinement Approach. Petre, Luigia and Sekerinski, Emil (Eds.). Computer and Information Science Series Taylor & Francis, 2016 2|
|Díaz Rodríguez, Natalia and Grönroos, Stefan and Wickström, Frank and Lilius, Johan and Eertink, Henk and Braun, Andreas and Dillen, Paul and Crowley, James and Alexandersson, Jan, An Ontology for Wearables Data Interoperability and Ambient Assisted Living Application Development. In: World Conference on Soft Computing. Kreinovich, Vladik and Reformat, Marek Z. and Yager, Ronald R. (Eds.). Springer, 2016|