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.
I taught myself programming, and majored in Laws and Business as an undergraduate at China University of Geosciences Beijing. Before coming to graduate school, I was a developer at Baidu and two tech-startups in Beijing for totally three years.
I like photography, check out my gallery. I’m also interested in economics (especially Austrian Economics), libertarianism (as well as Anarcho-capitalism), Blockchain (as well as Crypto-anarchism), natural law theory, political philosophy and astronomy.
Any advices or comments are welcomed:)