معرفی
Miikka Vilander is an active researcher associated with the Mathematics Research Centre, specializing in mathematical logic, computational complexity, and entropy theory. He holds a Master of Science degree from the University of Tampere (awarded 8 June 2016) and contributes to theoretical computer science through publications on formula size, succinctness, and logical definability.
- Education: Master of Science, University of Tampere
His research focuses on the intersection of logic, entropy, and data interpretability. Key areas include first-order logic complexity, Kolmogorov complexity, and game-theoretic models. Recent work spans 2023–2025, with publications in top venues like STACS and CSL conferences.
Vilander has collaborated internationally, including visits to Leibniz-Universität Hannover (2018) and co-authored works with researchers like R. Jaakkola and A. Kuusisto. His contributions emphasize theoretical foundations and practical applications in AI explainability.
