I am Alissa Tung. My pronouns are they/them. Currently, I am a visiting scholar at the Beijing International Center for Mathematical Research of Peking University. I expected to complete undergraduate program in July, 2024. My research interests are Type Theory and Algebraic Topology. I am working on improving interactive provers and their ecosystems.
alissa-tung Goto Github PK
Name: Alissa Tung
Type: User
Bio: (profile picture by https://www.pixiv.net/users/3322006)