Scholar
Antti Kuusisto
Google Scholar ID: KXUQL9UAAAAJ
Associate Professor, Tampere University
Citations & Impact
Citations
393
H-index
11
i10-index
16
Publications
20
Co-authors
12
list available
Contact
No contact links provided.
Publications
Resume (English only)
Academic Achievements
- Multiple papers published or to be published in various journals and conferences such as CSL 2025, Journal of Computer and System Sciences, 2025, Cambridge University Press, Journal of Logic and Computation, NeurIPS 2024, etc.
Research Experience
- 2019-2024: Theory of computational logics project, funded by the Academy of Finland; 2022-2024: Explaining AI via Logic (XAILOG) project, funded by the Academy of Finland, acting as the consortium head and a PI of one group; Fall 2015 to Fall 2018: Postdoctoral researcher at the University of Bremen; Academic year 2014-2015: Worked at Stockholm University and Technical University of Denmark with a personal postdoc grant; August 2013 to July 2014: Marie Curie Fellow at the University of Wroclaw, funded by ERCIM.
Education
- No specific education background information provided.
Background
- Associate Professor (discrete math) at Tampere University, with a joint position in the ITC Faculty and the Tampere Institute for Advanced Study. Research interests include decidability and complexity of logics, finite model theory, explainability in AI, distributed automata, team semantics, and game theory.
Miscellany
- No other relevant information provided.
