Hi! I'm Yi, a first-year Ph.D. student in Computer Science at the University of Maryland, College Park . I am a member of PLUM@UMD and currently advised by Prof. Milijana Surbatovich . I am broadly interested in the theory and practice of programming languages, especially type theory and type systems, constructive logics, formal methods, and their application in various computing systems. Previously, I received my M.S. in Electrical and Computer Engineering from Carnegie Mellon University , where I worked at CyLab with Prof. Bryan Parno and Prof. Limin Jia on Rust and formal verification.