Doctoral Programme in Computer Science

Organization profile

Organisation Profile

All the doctoral students in computer science at the University of Helsinki belong to the Doctoral Programme in Computer Science (DoCS). The programme is a part of the Doctoral School of Natural Sciences that is formed by the doctoral programmes in the Faculty of Science.

The goal of a PhD degree in Computer Science is to gain deeper knowledge of some sub-field of Computer Science and the ability to attain new scientific insights in it. While the general theme of the DoCS programme is Computer Science, the focal areas of the programme are Algorithmic Bioinformatics; Algorithms, Data Analytics and Machine Learning; Data Science; Networking and Services; and Software Systems.

The DoCS programme collaborates actively with Helsinki Institute for Information Technology HIIT, EIT Digital, and Computer Science related departments at Aalto University.

International and National Collaboration Publications and projects within past five years.

Equipment

Biodata Analytics Unit

Ville Mustonen (Manager), Mirkka Jones (Other), Pasi Rastas (Other) & Jukka Siren (Other)

Institute of Biotechnology

Facility/equipment: Research Laboratory

Projects

Harnessing AI for safe drone society

Ruotsalainen, L.

20/01/202019/07/2020

Project: Research project

Symbolic Techniques for Formally Verified and Explainable AI

Järvisalo, M.

01/01/202031/12/2022

Project: Research project

MLDB: Model Management Systems: Machine learning meets Database Systems

Mathioudakis, M. & Gionis, A.

01/09/201931/08/2023

Project: Research project

4APIs

Raatikainen, M., Mikkonen, T., Kettunen, E. & Muiruri, D.

01/09/201931/03/2021

Project: Research project

Publications

(M)ad to see me? Intelligent Advertisement Placement: Balancing User Annoyance and Advertising Effectiveness

Nguyen, N. T., Zuniga Corrales, A., Lee, H., Hui, P., Flores, H. & Nurmi, P., 2020, (Accepted/In press) In : Proceedings of ACM on interactive, mobile, wearable and ubiquitous technologies. 26 p.

Research output: Contribution to journalArticleScientificpeer-review

File

6G White Paper on Edge Intelligence

Peltonen, E., Bennis, M., Capobianco, M., Debbah, M., Ding, A., Gil-Castiñeira, F., Jurmu, M., Karvonen, T., Kelanti, M., Kliks, A., Leppänen, T., Lovén, L., Mikkonen, T., Rao, A., Samarakoon, S., Seppänen, K., Sroka, P., Tarkoma, S. & Yang, T., 30 Apr 2020

Research output: Other contribution

A Comparison of Unsupervised Methods for Ad hoc Cross-Lingual Document Retrieval

Zosa, E., Pivovarova, L. & Granroth-Wilding, M., 16 May 2020, Proceedings of the LREC 2020 Workshop on Cross-Language Search and Summarization of Text and Speech.

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Open Access
File

Algorithms for Dynamic Argumentation Frameworks: An Incremental SAT-Based Approach

Niskanen, A. & Järvisalo, M., 2020, (Accepted/In press) Proceedings of the 24th European Conference on Artificial Intelligence (ECAI 2020). IOS PRESS, 7 p. (Frontiers in Artificial Intelligence and Applications).

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Open Access
File

Activities

Expressiveness versus Efficiency Workshop, part of the Satisfiability: Theory, Practice, and Beyond Program

Matti Järvisalo (Member of organizing committee)
2021

Activity: Participating in or organising an event typesOrganisation and participation in conferences, workshops, courses, seminars

Algorithms (Journal)

Veli Mäkinen (Reviewer)
Apr 2020

Activity: Publication peer-review and editorial work typesPeer review of manuscripts

The 34th AAAI Conference on Artificial Intelligence (Event)

Hannu Toivonen (Programme Committee Member)
7 Feb 202012 Feb 2020

Activity: Publication peer-review and editorial work typesEditor of research anthology/collection/conference proceedings

11th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2020) (Event)

Matti Järvisalo (Programme Committee Member)
2020

Activity: Publication peer-review and editorial work typesPeer review of manuscripts

17th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR 2020) (Event)

Matti Järvisalo (Programme Committee Member)
2020

Activity: Publication peer-review and editorial work typesPeer review of manuscripts

Prizes

2019 IJCAI-JAIR Best Paper Prize

Armin Biere (Recipient), Marijn J.H. Heule (Recipient), Matti Järvisalo (Recipient), Florian Lonsing (Recipient) & Martina Seidl (Recipient), 2019

Prize: Prizes and awards

Best Student Paper Award Runner Up

Anna Kantosalo (Recipient), Jukka Mikael Toivanen (Recipient) & Hannu Toivonen (Recipient), Jul 2015

Prize: Prizes and awards

EUROMICRO Software Engineering and Advanced Applications (SEAA 2018) Distinguished Paper Award

Sezin Yaman (Recipient), Tommi Johannes Mikkonen (Recipient) & Riku Suomela (Recipient), 30 Aug 2018

Prize: Prizes and awards

HPY Research Foundation Grant 2020

Abhishek Kumar (Recipient), 24 Apr 2020

Prize: Prizes and awards

ICCMA 2019 Main Track and Dynamic Track: First place

Andreas Niskanen (Recipient) & Matti Järvisalo (Recipient), 12 Aug 2019

Prize: Prizes and awards

Press / Media

Researchers develop ways to make IoT truly ubiquitous

Sasu Tarkoma

27/05/2020

1 item of Media coverage

Press/Media: Press / Media

Safe at the Finnish Line: Privacy Project Kicks Off Collaboration

Antti Honkela

25/05/202026/05/2020

3 items of Media coverage

Press/Media: Press / Media

Safe at the Finnish Line: Privacy Project Kicks...

Antti Honkela

26/05/2020

1 item of Media coverage

Press/Media: Press / Media

-University of Helsinki: Cyber insurance providers are excessively cautious

Sasu Tarkoma

11/05/2020

1 item of Media coverage

Press/Media: Press / Media