Doctoral Programme in Computer Science

Organisaation profiili

Yksikön profiili

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.

Kansainvälinen ja kotimainen yhteistyö Viimeisin maatasolla toteutettu yhteistyö. Saat syvempiä lisätietoja pisteitä napsauttamalla.

Projektit 2016 2023

Harnessing AI for safe drone society

Ruotsalainen, L.

20/01/202019/07/2020

Projekti: Tutkimusprojekti

Symbolic Techniques for Formally Verified and Explainable AI

Järvisalo, M.

01/01/202031/12/2022

Projekti: Tutkimusprojekti

Declarative Boolean Optimization: Pushing the Envelope

Järvisalo, M.

01/09/201931/08/2023

Projekti: Tutkimusprojekti

MLDB: Model Management Systems: Machine learning meets Database Systems

Mathioudakis, M. & Gionis, A.

01/09/201931/08/2023

Projekti: Tutkimusprojekti

Julkaisut 1992 2020

A conceptual framework for valuing IT within a business system

Töhönen, H., Kauppinen, M., Männistö, T. & Itälä, T., 2020, julkaisussa : International journal of accounting information systems.

Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinenvertaisarvioitu

Open access

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

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

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

Deciding Acceptance in Incomplete Argumentation Frameworks

Niskanen, A., Neugebauer, D., Järvisalo, M. & Rothe, J., 2020, (Hyväksytty/In press) Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI 2020). AAAI Press, 8 Sivumäärä

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

Open access
Tiedosto

Discovering Causal Graphs with Cycles and Latent Confounders: An Exact Branch-and-Bound Approach

Rantanen, K., Hyttinen, A. & Järvisalo, M., 2020, julkaisussa : International Journal of Approximate Reasoning. 117, s. 29-49 21 Sivumäärä

Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinenvertaisarvioitu

Finding Most Compatible Phylogenetic Trees over Multi-State Character

Korhonen, T. & Järvisalo, M., 2020, (Hyväksytty/In press) Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI 2020). AAAI Press

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

Open access
Tiedosto

Aktiviteetit 2012 2021

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

Matti Järvisalo (Järjestäjätoimikunnan jäsen)
2021

Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypitKonferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen

The 42nd Annual Meeting of the Cognitive Science Society (CogSci) (Tapahtuma)

Hannu Toivonen (Ohjelmatoimikunnan jäsen)
29 heinäkuuta 20201 elokuuta 2020

Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypitKäsikirjoitusten vertaisarviointi

Sixth International Workshop on Computational Linguistics of Uralic Languages

Mika Hämäläinen (Osallistuja), Khalid Alnajjar (Osallistuja)
10 tammikuuta 202011 tammikuuta 2020

Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypitKonferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen

Sixth International Workshop on Computational Linguistics of Uralic Languages

Mika Hämäläinen (Puhuja: pääpuhuja (keynote)), Khalid Alnajjar (Puhuja: pääpuhuja (keynote))
11 tammikuuta 2020

Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypitKonferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen

3rd International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2020) (Tapahtuma)

Matti Järvisalo (Ohjelmatoimikunnan jäsen)
2020

Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypitKäsikirjoitusten vertaisarviointi

Palkinnot

2019 IJCAI-JAIR Best Paper Prize

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

Palkinto: Palkinnot ja kunnianosoitukset

Best Student Paper Award Runner Up

Anna Kantosalo (Vastaanottaja), Jukka Mikael Toivanen (Vastaanottaja) & Hannu Toivonen (Vastaanottaja), heinäkuuta 2015

Palkinto: Palkinnot ja kunnianosoitukset

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

Sezin Yaman (Vastaanottaja), Tommi Johannes Mikkonen (Vastaanottaja) & Riku Suomela (Vastaanottaja), 30 elokuuta 2018

Palkinto: Palkinnot ja kunnianosoitukset

ICCMA 2019 Main Track and Dynamic Track: First place

Andreas Niskanen (Vastaanottaja) & Matti Järvisalo (Vastaanottaja), 12 elokuuta 2019

Palkinto: Palkinnot ja kunnianosoitukset

ICT Influencer of the Year 2019 (Vuoden TiVi-vaikuttaja 2019)

Teemu Roos (Vastaanottaja), 12 joulukuuta 2019

Palkinto: Palkinnot ja kunnianosoitukset