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 am a summer intern at Galois (2018). I also worked as an intern at Baidu (2013), and two tech-startups (2012-2013, 2014-2015) in Beijing.

I like photography, check out my gallery and Instagram. I’m also interested in economics, Austrian Economics, libertarianism, astronomy, natural law theory and political philosophy.

code · coursework · github · linkedin · misc