Jinhao Tan

Ph.D. Candidate, Department of Computer Science, The University of Hong Kong

Email: jinhaot (at) connect.hku.hk

About Me

I am a Ph.D. candidate supervised by Prof. Bruno C. d. S. Oliveira at the University of Hong Kong (HKU). My research is centered around programming languages. In particular, my research interests include

• semantics: environment-based semantics, abstract machines, type-directed semantics

• type systems: (disjoint) intersection types, subtyping, parametricity

• formal verification: mechanized formalization (in Coq), SMT solving

Publications

• A Case for First-Class Environments
  Jinhao Tan, Bruno C. d. S. Oliveira
  OOPSLA 2024 [doi] [pdf] [Coq development]

• Dependent Merges and First-Class Environments
  Jinhao Tan, Bruno C. d. S. Oliveira
  ECOOP 2023 [doi] [pdf] [Coq development]

Teaching

• Teaching Assistant for Management of Complex Data Types (HKU). Spring 2023, Spring 2024, Fall 2024.

• Teaching Assistant for Functional Programming (HKU). Fall 2021.

Academic Service

• Artifact Evaluation Committee Member: POPL 2024, TACAS 2024, ECOOP 2024

• Sub-reviewer: APLAS 2023, SETTA 2022