Jinhao Tan
@jinhao@mastodon.social
Joined: 03/08/2023
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
{username} has no public lists
Timeline
{username} has no activity yet