I did my PhD at the University of Hong Kong with Bruno C. d. S. Oliveira. My research interests include programming languages, formal methods, and theorem proving (Rocq and Lean).
Email: jinhaot (at) connect.hku.hk
Papers
-
A Case for First-Class Environments
Jinhao Tan, Bruno C. d. S. Oliveira
OOPSLA 2024 [doi] [pdf] [Rocq development] -
Dependent Merges and First-Class Environments
Jinhao Tan, Bruno C. d. S. Oliveira
ECOOP 2023 [doi] [pdf] [Rocq development]
Academic Service
- Artifact Evaluation Committee Member: POPL 2024, TACAS 2024, ECOOP 2024
- Sub-reviewer: APLAS 2023, SETTA 2022