cv
Table of contents
Basics
| Name | Xuejing Huang |
| Label | Ph.D. |
| slow@xsnow.live | |
| Url | https://xsnow.live/ |
| Summary | A recent Ph.D. graduate from HKU, skilled in programming language theory and type systems, with a passion for theoretical formalization in Coq and practical implementation in Haskell. |
Education
-
2017.09 - 2023.07 Ph.D. in Computer Science
The University of Hong Kong
- Area: Programming Languages
- Advisor: Dr. Bruno C. d. S. Oliveira
- Thesis: Taming the Merge Operator and Intersection Types
- External Examiners: Prof. Frank Pfenning, Prof. Ondřej Lhoták
-
2015.01 - 2016.12 -
2013.09 - 2017.08 B.Sc. in Computer Science and Technology
Zhejiang University
Pursuit Science Class, Chu Kochen Honors College
Awards
- 2017
Hong Kong PhD Fellowship
The Research Grants Council (RGC) of Hong Kong
- 2013
First-Class Scholarship for Elite Students in Basic Sciences
The Undergraduate School of Zhejiang University
- 2013
First Prize in the National Olympiad in Informatics in Provinces (NOIP)
The China Computer Federation
- 2012
Bronze Award in Asia-Pacific Informatics Olympiad (APIO)
The Japanese Committee for the International Olympiad in Informatics (IOI)
Languages
| Mandarin | |
| Native speaker |
| English | |
| Fluent |
| Cantonese | |
| Conversational |