I’m a first-year Ph.D. student in Computer Science at Purdue University. I’m broadly interested in the area of programming languages, including functional programming, static analysis, semantics, type systems, verification, compilers and security. I’m also a member of Purdue’s Programming Languages (PurPL) gourp.
Previously I received M.S. degree 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.