معرفی
Antti Kuusisto is an Associate Professor of Discrete Mathematics at the Faculty of Information Technology and Communication Sciences, Tampere University. He previously held roles as Academy Research Fellow (2019-2024) and Senior Research Fellow at Tampere Institute for Advanced Study. His research focuses on mathematical logic, theoretical computer science, and their applications in distributed computing, descriptive complexity, and explainable AI.
He leads the consortium and serves as Principal Investigator (PI) for the Academy of Finland-funded projects: “Explaining AI via Logic” and “Theory of Computational Logics.” His work bridges foundational logic with practical computational challenges, including neural network interpretability and distributed automata theory. Key research interests include modal logic, game-theoretic semantics, and computational complexity classifications.
Notable contributions span logical frameworks for distributed systems, entropy-based complexity analysis, and formal methods for AI explainability. His recent publications address topics like graded modal logics, boolean formula-based classifiers, and optimal strategies in repeated coordination games. Kuusisto’s research also explores connections between algebraic logic and complexity theory, with applications to neural networks and graph algorithms.
