Forte Shinko

信耕ふぉるて

イランカラㇷ゚テ
I am a Hedrick Adjunct Assistant Professor at UCLA studying mathematical logic.
Curriculum vitae
Research statement
Teaching statement

Publications

Notes

Shitov's refutation of Hedetniemi's conjecture
Bernoulli disjointness (after Bernshteyn)
Introduction to type theory (for HoTT seminar)

Links

Caltech logic seminar
Grad student seminar