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
|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|
|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|
|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|
|Azimi, Sepinoud and Gratie, Cristian and Ivanov, Sergiu and Manzoni, Luca and Petre, Ion and Porreca, Antonio E., Complexity of Model Checking for Reaction Systems. In: Theoretical Computer Science. Elsevier B.V., 2016 2|
|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|
|Kanhaiya, Krishna and Czeizler, Eugen and Gratie, Christian and Petre, Ion, Controlling Directed Protein Interaction Networks in Cancer. TUCS Technical Reports 1155. TUCS, 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|
|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|
|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|
|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|
|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|
|Rogozinsky, Gleb G. and Cherny, Eugene and Osipenko, Ivan, Making Mainstream Synthesizers with Csound. In: Proceedings of the Third International Csound Conference. Rogozinsky, Gleb G. (Eds.). The Bonch-Bruevich St. Petersburg State University of Telecommunications, 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|
|Kamali, Mojgan and Petre, Luigia, Uppaal vs Event-B for Modelling Optimised Link State Routing. TUCS Technical Reports 1158. TUCS, 2016|
|Ehrenfeucht, Andrzej and Petre, Ion and Rozenberg, Grzegorz, Reaction Systems: A Model of Computation Inspired by the Functioning of the Living Cell. TUCS Technical Reports 1161. TUCS, 2016|