Doctoral Programme in Computer Science

Projects

Active

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

Declarative Boolean Optimization: Pushing the Envelope

Järvisalo, M.

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

Sporttia Stadiin!

Peltonen, J., Uusitalo, A., Eklund, D., Tervaniemi, M., Huotilainen, M., Kaseva, K., Toivonen, T., Willberg, E., Roos, T., Kaartinen, J. & Mäntyjärvi, J.

01/08/2018 → …

Project: Research project

Finished

D4Value

Männistö, T., Tarkoma, S., Niemi, V., Varjonen, S., Christophe, F. & Kettunen, P.

01/12/201631/12/2018

Project: Research project