Projekteja vuodessa
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.
Henkilöt
Imtiaj Ahmed
- Tietojenkäsittelytieteen osasto - tohtorikoulutettava
- Doctoral Programme in Computer Science
Henkilö: U1 Opetus- ja tutkimushenkilöstö
Gizem Akman
- Tietojenkäsittelytieteen osasto - tohtorikoulutettava
- Doctoral Programme in Computer Science
Henkilö: U1 Opetus- ja tutkimushenkilöstö
Jarno Alanko
- Tietojenkäsittelytieteen osasto - tohtorikoulutettava
- Veli Mäkinen / Vastuullinen tutkija
- Doctoral Programme in Computer Science
Henkilö: U1 Opetus- ja tutkimushenkilöstö, HY
Rola Alhalaseh
- Tietojenkäsittelytieteen osasto - tohtorikoulutettava
- Doctoral Programme in Computer Science
Henkilö: U1 Opetus- ja tutkimushenkilöstö
Khalid Alnajjar
- Tietojenkäsittelytieteen osasto - tohtorikoulutettava
- Discovery-tutkimusryhmä/Prof. Hannu Toivonen
- Doctoral Programme in Computer Science
Henkilö: U1 Opetus- ja tutkimushenkilöstö, HY
Projektit 2016 2023
Symbolic Techniques for Formally Verified and Explainable AI
01/01/2020 → 31/12/2022
Projekti: Tutkimusprojekti
SEAMLESS PEDESTRIAN INDOOR / OUTDOOR NAVIGATION
02/09/2019 → 31/03/2020
Projekti: Tutkimusprojekti
Declarative Boolean Optimization: Pushing the Envelope
01/09/2019 → 31/08/2023
Projekti: Tutkimusprojekti
MLDB: Model Management Systems: Machine learning meets Database Systems
Mathioudakis, M. & Gionis, A.
01/09/2019 → 31/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: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu
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/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
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/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
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: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu
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 PressTutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
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 tyypit › Konferensseihin, 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 2020 → 1 elokuuta 2020
Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypit › Käsikirjoitusten vertaisarviointi
Sixth International Workshop on Computational Linguistics of Uralic Languages
Mika Hämäläinen (Osallistuja), Khalid Alnajjar (Osallistuja)10 tammikuuta 2020 → 11 tammikuuta 2020
Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, 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 tyypit › Konferensseihin, 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 tyypit › Kä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
Lehdistö/media
An AI Christmas Gift; Finland Offers Free Online Course On AI To Educate 1% EU Citizens On The Basics of AI
29/12/2019
1 kohde/ Medianäkyvyys
Lehdistö/media
Finland gives European citizens an artificial intelligence course for Christmas | Trends
25/12/2019
1 kohde/ Medianäkyvyys
Lehdistö/media