People

Yiyun Liu

Research Scientist, Basis Research Institute

Yiyun Liu is a research scientist at Basis. He did his Ph.D. with Stephanie Weirich at the University of Pennsylvania, where his dissertation involved designing dependent type systems and proving their correctness properties in a proof assistant. His research interests include type theory and formal verification.