Kentarô YAMAMOTO
I am a postdoctoral fellow at the
Institute of Informatics
of the Academy of Sciences of the Czech Republic.
I obtained my doctorate in Logic
and the Methodology of Science at UC Berkeley
under the supervision of Wesley Holliday.
Here are my curriculum vitae and research statement.
Papers
Talks
 Generalized ultraproducts for positive logic.
British Postgraduate Model Theory Conference 2023
, Leeds, the United Kindom.
 Generalized ultraproducts for positive logic.
LOGICA 2022, Teplá, the Czech Republic.

The small index property of the Fraı̈ssé limit of finite Heyting algebras.
Logic Colloquium 2022, Reykjavik, Iceland.
 The small index property of the Fraı̈ssé limit of finite Heyting algebras.
Topology, Algebras and Categories in Logic 2022, Coimbra, Portugal.

The small index property of the Fraı̈ssé limit of finite Heyting algebras.
Czech Gathering of Logicians 2022, Prague, the Czech Republic.

Choicefree duality for ortholattices by means of spectral spaces.
LOGICA 2021,
Hejnice, Czechia.

The automorphism group of the Fraisse limit of finite Heyting algebras.
BLAST 2021,
Las Cruces, New Mexico.

The automorphism group of the Fraisse limit of finite Heyting algebras
(Invited). Logic Seminar, Department of Mathematics, University of Florida.
 Correspondence, Canonicity, and Model Theory for Monotonic Modal Logics.
BLAST 2019, Boulder, Colorado.
 Modal Correspondence Theory for Possibility
Semantics. MLG Workshop 2015, Kyôto, Japan.
 On the
Computational Power of Algorithmically Random Constants in
BlumShubSmale
Machines. CCA
2014, Darmstadt, Germany (joint work with Akitoshi Kawamura).
Theses
 Duality for Boolean Algebra Expansions and Its Applications.
Ph.D. thesis, University of California, Berkeley, 2020.
 Algorithmic Randomness and
Computational Complexity. B.Sc. thesis, University of
Tokyo, 2014.
Kentarô
YAMAMOTO (yamamoto@deletethis.cs.cas.cz)