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 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:)

Contact: guannanwei@outlook.com

code · coursework · github · linkedin · misc