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.
I also worked as an intern at Baidu, and two tech-startups in Beijing.
I like photography, check out my gallery. I’m also interested in economics, Austrian Economics, libertarianism, astronomy, natural law theory, political philosophy and Blockchain.