Theory of computational logics, September 2019 – August 2024: link 1; link 2; PI: Antti Kuusisto. Postdocs: Miikka Vilander and Anssi Yli-Jyrä.
Explaining AI via Logic (XAILOG), 2022 – 2024. This is a research consortium project. The Tampere teams are headed by Tomi Janhunen (PI) and Antti Kuusisto (PI, head of consortium). Janhunen’s team employs postdoc Masood Feyzbakhsh Rankooh and Kuusisto’s team postdocs Miikka Vilander and Anssi Yli-Jyrä.
Artificial Intelligence Optimization for Production Lines Deploying Rotating Machinery, 2021 – 2023, PI: Tomi Janhunen, postdoc Anssi Yli-Jyrä