Guannan Wei
Research
Teaching
Quotes
Contact
10/20/2020

Guannan Wei

I’m a fourth-year Ph.D. student in Computer Science at Purdue University, working with Tiark Rompf. I’m interested in programming languages, functional programming, metaprogramming, and program analysis. I’m also a member of the Purdue’s Programming Languages (PurPL) group.

Previously I received M.S. degree in Computer Science from the University of Utah, under Matt Might’s research group. I majored in Laws and Business Management as an undergraduate at the China University of Geosciences, Beijing.

I was an intern at SambaNova Systems (Summer 2020, remotely), Galois (Summer 2018, Portland), Baidu (Fall 2013, Beijing), and two tech-startups (2012-2013, 2014-2015, Beijing).

I like photography, check out my gallery and Instagram. I’m also interested in economics, Austrian Economics, and astronomy.

In my Blog, I occasionally take notes of what I read, collect interesting and elegant programs, or share personal thoughts.

Research

Conference Papers

Workshop Papers

  • Towards Verified Binary Raising
    Joe Hendrix, Guannan Wei, Simon Winwood
    Workshop on Instruction Set Architecture Specification (co-located with ITP 2019). Portland, OR, USA
    [pdf]

  • Graph Neural Reasoning for 2-Quantified Boolean Formula Solvers
    Zhanfu Yang, Fei Wang, Ziliang Chen, Guannan Wei, Tiark Rompf
    Workshop on Learning and Reasoning with Graph-Structured Representations (co-located with ICML 2019)
    [pdf]

Talks and Posters

Services

Open Source Contribution

Teaching

Quotes

Keep fun in computing — Alan Perlis

Contact

Email: guannanwei at purdue.edu

Address: 305 N. University Street, West Lafayette, IN 47907

GithubTwitterInstagramGalleryBlog知乎