antti.kuusisto [ ... ] helsinki.fi
I am an Academy Research Fellow (math) in the University of Helsinki.
From Fall 2015 to Fall 2018 I was a research assistant in the
University of Bremen.
For the academic year 20142015 I worked in Stockholm University and
Technical University of Denmark with a personal research grant.
From August 2013 until July 2014 I was a Marie Curie Fellow working in the
University of Wroclaw
with EU funding from the European
Research Consortium for Informatics and Mathematics (ERCIM).
Research interests:

Decidability and complexity of fragments of firstorder logic

Finite model theory and model theory of modal logic

Distributed automata

Team semantics and variants of dependence logic

Game theory
Other work
Modal Fragments of SecondOrder Logic
(Ph.D. thesis in mathematics)
Quantum Ratchets and Quantum Chaos with Cold Atoms,
Department of Physics and Astronomy, University College London.
(theoretical physics M.Sci. project)
Calculation of Dispersion Relations in Jet Engine Turbine Fibres,
Department of Physics and Astronomy, University College London.
(a short project)