About
Experiences
Publications
Teaching
Seminar
On the Computability of the Ninth Dedekind Number
with Po Hao Chen
IEEE URTC 2022