CV

Curriculum vitae.

Contact Information

Name Xuejing Huang
Professional Title Ph.D.
Email slow@xsnow.live

Professional 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 - 2023

    Ph.D.
    The University of Hong Kong
    Computer Science
    • Research 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
  • 2013 - 2017

    B.Sc.
    Zhejiang University
    Computer Science and Technology
    • Pursuit Science Class, Chu Kochen Honors College
  • 2015 - 2016

    Exchange Student
    Stockholm University
    Computer and Systems Sciences

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