Department of Computer Science

  • Finland

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

Profiles

No photo of Hanna Aarnio

Hanna Aarnio

Person: M5 Teaching and research support staff

20172017
No photo of Homayun Afrabandpey

Homayun Afrabandpey

Person: U1 Research and teaching staff

Photo of Tero Aittokallio

Tero Aittokallio

Person: U3 Research and teaching staff, UH

20012020

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

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

(So) Big Data and the transformation of the city

Andrienko, G., Andrienko, N., Boldrini, C., Caldarelli, G., Cintia, P., Cresci, S., Facchini, A., Giannotti, F., Gionis, A., Guidotti, R., Mathioudakis, M., Muntean, C. I., Pappalardo, L., Pedreschi, D., Pournaras, E., Pratesi, F., Tesconi, M. & Trasarti, R., 31 Mar 2020, In : International Journal of Data Science and Analytics.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
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

Abstract Cores in Implicit Hitting Set MaxSat Solving

Berg, J., Bacchus, F. & Poole, AL., 2020, (Accepted/In press) Proceedings of the 2020 International Conference on Theory and Applications of Satisfiability Testing (SAT 2020). (Lecture Notes in Computer Science).

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

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

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

Eighteenth International Symposium on Intelligent Data Analysis (IDA 2020) (Event)

Hannu Toivonen (Programme Committee Vice Chair)
27 Apr 202029 Apr 2020

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

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

Algorithms (Journal)

Veli Mäkinen (Reviewer)
Apr 2020

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

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

Prizes

(Senior) teacher of the year (2012) award

Lea Kutvonen (Recipient), 2012

Prize: Prizes and awards

2007 Kirkman medal

Petteri Kaski (Recipient), 2007

Prize: Prizes and awards

2009 Cor Baayen Award

Teemu Roos (Recipient), 6 Nov 2009

Prize: Prizes and awards

2009 IEEE Claude E. Shannon Award

Jorma Johannes Rissanen (Recipient), 2009

Prize: Prizes and awards

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

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