SPLASH 2024
Sun 20 - Fri 25 October 2024 Pasadena, California, United States
SPLASH 2024 (series) / Jinhao Tan
Jinhao Tan

Registered user since Fri 17 Mar 2023

Name:Jinhao Tan
Country:China
Affiliation:University of Hong Kong
Personal website: https://tjhao.github.io
Research interests:Programming Languages, Formal Verification, Logics

Contributions

Show activities from other conferences

SPLASH 2024-profile
View general profile