Email: dev [dot] guoj [at] gmail [dot] com
My research interests are programming language theory, extremal combinatorics, and theoretical computer science. For more information, see my research page. My Erdős number is 2.
I graduated from the University of Utah in Spring, 2020. I also spent an semester at the Math in Moscow program and another at the Budapest Semesters in Mathematics program. Department of Mathematics of the University of Utah wrote an article about it.
I write blog posts (but seldom update) and software. I have run two half-marathons in Shanghai in 2014 and in Hong Kong in 2016. I also ran the Chicago Marathon in 2017.