Yao Li

I am a Ph.D. student at the University of Pennsylvania.
My research interests are in improving programmers' productivity by building techniques to help them conveniently build reliable systems from the programming language level.