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.

I worked as an intern at Galois (Summer 2018) in Portland, Baidu (Fall 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