About Heung Tung

I am Heung Tung AU (歐向東), a PhD student of TACO Lab of HKUST under the supervision of Prof. Lionel Parreaux. My research interests are programming language design and type systems.

I received my BEng degree in Computer Science from the Hong Kong University of Science and Technology.