Guannan Wei
Research
Services
Teaching
Quotes
Contact
5/5/2021

Guannan Wei

I’m a fourth-year Ph.D. student in Computer Science at Purdue University, working with Tiark Rompf. 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, remote), Galois (Summer 2018, Portland), Baidu (Fall 2013, Beijing), and two tech-startups (2012-2013, 2014-2015, Beijing).

In my Blog, I occasionally take notes of what I read, collect interesting and elegant programs, or share personal thoughts. I like photography, check out my gallery and Instagram. I’m also interested in economics, Austrian Economics, and astronomy.

Research

My research interests are programming languages. Specifically, I’m interested in functional programming, metaprogramming, program analysis, type systems, and language design.

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] [bib]

  • 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] [bib]

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知乎