This is Ende Jin. A PhD student at the University of Waterloo since 2025, under the supervision of Yizhou Zhang. I am a semantic engineer, focusing on (statically typed) programming languages and (dependent) type theory.

This page is powered by Jekyll and Hyde, together with the table of contents generator by Allejo