I’m a second-year Ph.D. student in Computer Science at Purdue University. I’m broadly interested in programming languages. I’m also a member of Purdue’s Programming Languages (PurPL) group.
Previously I received M.S. in Computer Science from University of Utah where I worked on an abstract interpreter for JVM bytecode under Prof. Matt Might‘s research group. I majored in Laws and Business Management as an undergraduate at China University of Geosciences, Beijing.