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).
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
Turku Centre for Computer Science - TUCS
TUCS Internship Program: the call for applications is open until April 18!
|Panchal, Charmi and Azimi, Sepinoud and Petre, Ion, Generating the Logicome of a Biological Network. In: Algorithms for Computational Biology. Botón-Fernández María, and Martín-Vide Carlos, and Santander-Jiménez Sergio, and Vega-Rodríguez, Miguel A. (Eds.). Lecture Notes in Bioinformatics (Subseries of Lecture Notes in Computer Science) Springer, 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|
|Laibinis, Linas and Troubitsyna, Elena, A Contract-Based Approach to Ensuring Component Interoperability in Event-B. In: From Action Systems to Distributed Systems. Petre, Luigia and Sekerinski, Emil (Eds.). Taylor & Francis, 2016 2|
|Wiik, Jonatan and Boström, Pontus, Contract-Based Verification of MATLAB-Style Matrix Programs. In: Formal Aspects of Computing. 2016 2|
|Gratie, Diana-Elena and Iancu, Bogdan and Azimi, Sepinoud and Petre, Ion, Quantitative Model Refinement in Four Different Frameworks, with Applications to the Heat Shock Response. In: From Action Systems to Distributed Systems. Petre, Luigia and Sekerinski, Emil (Eds.). Taylor & Francis, 2016 2|
|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|
|Siavashi, Faezeh and Truscan, Dragos and Vain, Juri, On Mutating UPPAAL Timed Automata to Assess Robustness of Web Services. In: Proceedings of the 11th International Joint Conference on Software Technologies. Maciaszek, Leszek and Cardoso, Jorge and Ludwig, André and Sinderen, Marten van and Cabello, Enrique (Eds.). SCITEPRESS-Science and Technology Publications, 2016 1|
|Farahnakin, Fahimeh and Bahsoon, Rami and Liljeberg, Pasi and Pahikkala, Tapio, Self-Adaptive Resource Management System in IaaS Clouds. In: 9th International Conference on Cloud Computing (IEEE CLOUD). Bahsoon, Rami and Liljeberg, Pasi and Pahikkala, Tapio (Eds.). IEEE, 2016|
|Mattila, Keijo and Puurtinen, Tuomas and Hyväluoma, Jari and Surmas, Rodrigo and Myllys, Markko and Turpeinen, Tuomas and Robertsén, Fredrik and Westerholm, Jan and Timonen, Jussi, A Prospect for Computing in Porous Materials Research: Very Large Fluid Flow Simulations. In: Journal of Computational Science. 2016 1|
|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|
|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|
|Kanhaiya, Krishna and Czeizler, Eugen and Gratie Cristian and Petre, Ion, Controlling Directed Protein Interaction Networks in Cancer. TUCS Technical Reports 1155. TUCS, 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|
|Kamali, Mojgan and Petre, Luigia, Uppaal vs Event-B for Modelling Optimised Link State Routing. TUCS Technical Reports 1158. TUCS, 2016|
|Kolchin, Maxim and Cherny, Eugene and Kozlov, Fedor and Shipilo, Alexander and Kovriguina, Liubov, CEUR-WS-LOD: Conversion of CEUR-WS Workshops to Linked Data. In: Second SemWebEval Challenge at ESWC 2015, Portorož, Slovenia, May 31 - June 4, 2015, Revised Selected Papers. Gandon, Fabien and Cabrio, Elena and Stankovic, Milan and Zimmermann, Antoine (Eds.). Communications in Computer and Information Science Springer, 2016|