About Jinhao Tan

Ph.D. student at the University of Hong Kong, interested in programming languages, type systems, theorem proving, program verification, and logics.

Lists

Timeline

jinhao has no activity yet