Guannan Wei
Research
Publications
Talks/  Posters
Mentoring
Teaching
Services
Code & Open Source Contribution
Quotes
Nov 18, 2024

Guannan Wei🔗

• Email:
 guannan.wei@inria.fr
 guannan.wei@tufts.edu
Google Scholar | DBLP | Github
Instagram | Gallery | Twitter

Recent services:
• PC: ICFP 2025, TFPIE 2025, PLDI 2025, OOPSLA 2025

Curriculum Vitae
Research Statement
Teaching Statement
Diversity Statement

I am a postdoctoral researcher in the ANTIQUE team at INRIA and École Normale Supérieure (Paris), working with Caterina Urban. I am also a visiting assistant professor at Tufts University.

Previously, I was a postdoctoral researcher at Purdue University, and I obtained my Ph.D. in Computer Science from Purdue University, advised by Tiark Rompf. I received M.S. degree in Computer Science from the University of Utah, advised by Matt Might. I was an intern at SambaNova Systems, Galois, and Baidu. I occasionally take notes of what I read, collect elegant programs, or post random thoughts in my Blog.

I will join CS@Tufts as an Assistant Professor in Fall 2025. If you are interested in working with me in programming languages, formal methods, or software engineering, feel free to reach out!

Research🔗

I study the scientific and engineering aspects of programming, driven by a fascination with how it allows people creating abstractions and communicating ideas. My research aims to develop novel notions and tools that empower people to build correct, safe, and efficient software.

More specifically, I am interested in type systems, program analysis/verification/testing, compilers/interpreters, metaprogramming, as well as their applications.

Publications🔗

Drafts/Under Submission
  • Avoid Arguments and Escape with Your Self: Expressive Subtyping and Decidable Bidirectional Checking for Reachability Types
    Songlin Jia, Guannan Wei, Siyuan He, Yueyang Tang, Yuyan Bao, Tiark Rompf
    Under submission
    [arxiv]

  • Modeling Reachability Types with Logical Relations
    Yuyan Bao, Songlin Jia, Guannan Wei, Oliver Bračevac, Tiark Rompf
    Under submission
    [arxiv]

  • Snek: Overloading Python Semantics via Virtualization
    James M. Decker, Dan Moldovan, Andrew A. Johnson, Guannan Wei, Fei Wang, Grégory Essertel, Alexander B. Wiltschko, Tiark Rompf
    [pdf]

Conference/Workshop Papers

Dissertation

Talks/Posters🔗

Mentoring🔗

Undergraduate

Teaching🔗

Services🔗

Code & Open Source Contribution🔗

Quotes🔗

Keep fun in computing — Alan Perlis