Forte Shinko

信耕ふぉるて

イランカラㇷ゚テ
I am a Postdoctoral Scholar at UC Berkeley studying mathematical logic, working with Andrew Marks.
Curriculum vitae
Research statement
Teaching statement

Publications

Notes

An elementary proof of Lusin-Novikov
The refutation of Hedetniemi's conjecture
Bernoulli disjointness (after Bernshteyn)
Introduction to type theory (for HoTT seminar)

Links

Caltech logic seminar