Jinhao Tan

I am a Ph.D. student supervised by Dr. Bruno C. d. S. Oliveira in Department of Computer Science at the University of Hong Kong. My research is centered around programming languages.

Email: jinhaot (at) connect.hku.hk

Research Interests

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

• Type systems: (disjoint) intersection types, subtyping, parametricity, semantic typing

• Formal verification: mechanical formalization in proof assistants, 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 COMP7107: Management of Complex Data Types, University of Hong Kong, Spring 2023, Spring 2024, Fall 2024.

• Teaching Assistant for COMP3258: Functional Programming, University of Hong Kong, Fall 2021.

Academic Service

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

• Sub-reviewer: APLAS 2023, SETTA 2022