May 2019 - Photo by yuuki @ Big Bear Lake, CA


Dec '20

PhD application for Fall'21 submitted.

Oct '20

New features of Hoogle+ are published to OOPSLA'20.

Jan '20

I won Third Place at POPL'20 SRC and had a good time attending my first conference.

Dec '19

Finished creating my first website.

May '19

My 18th birthday! The photo on the top is taken in the same month, when we have a road trip to Big Bear Lake, CA.


My first name is pronounced zi /*[ts]əʔ/ teng /təŋ/. Feel unconfident pronouncing it? I also go by Zetten.

I was born in Shanxian, Shandong (map).

Recently Played