This is Ende Jin. A PhD Student from University of Waterloo since 2025, under the supervision of Yizhou Zhang. I love (Statically Typed) Programming Language, Type Theory and Category Theory (2 out of 3 in the computational trinitarianism).

My publications can be found here.

This page is powered by Jeykll and Hyde, together with The Table of Content Generator by Allejo