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!
|Olszewska, Marta and Heidenberg, Jeanette and Weijola, Max and Mikkonen, Kirsi and Porres, Ivan, Quantitatively Measuring a Large-Scale Agile Transformation. In: Journal of Systems and Software. Elsevier, 2016 3|
|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|
|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|
|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|
|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|
|Kovriguina, Liubov and Shipilo, Alexander and Kozlov, Fedor and Kolchin, Maxim and Cherny, Eugene, Metadata Extraction from Conference Proceedings Using Template-Based Approach. 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|
|Kanhaiya, Krishna and Czeizler, Eugen and Gratie, Christian and Petre, Ion, Controlling Directed Protein Interaction Networks in Cancer. TUCS Technical Reports 1155. TUCS, 2016|
|Neovius, Mats and Petre, Luigia and Sere, Kaisa, A Theory of Service Dependency. In: Proceedings 17th International Workshop on Refinement (Refine'15), Oslo, Norway, 22nd June 2015. Derrick, John and Boiten, Eerke and Reeves, Steve (Eds.). Electronic Proceedings in Theoretical Computer Science (EPTCS), 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|
|Kamali, Mojgan and Petre, Luigia, Modelling Link State Routing in Event-B. TUCS Technical Reports 1154. TUCS, 2016|
|Cherny, Eugene and Lilius, Johan and Brusila, Johannes and Mouromtsev, Dmitry, A Knowledge Engineering Approach to Computational Creativity in Sound Design. In: The Proceedings of the 1st Conference on Computer Simulation of Musical Creativity. Jan, Steven and Velardo, Valerio (Eds.). University of Huddersfield, 2016|
|Saxén, John-Eric and Saxén, Henrik and Toivonen, Hannu T., Identification of Switching Linear Systems Using Self-Organizing Models with Application to Silicon Prediction in Hot Metal. In: Applied Soft Computing. Elsevier, 2016 1|
|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|
|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|
|From Action Systems to Distributed Systems - The Refinement Approach. Petre, Luigia and Sekerinski, Emil (Eds.). Computer and Information Science Series Taylor & Francis, 2016 2|