Research
Publications
Talks
Mentoring
Teaching
Services
Code
Quotes
March 31, 2025

Guannan Wei🔗

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

Recent:
• Papers/Talks: LIPN Seminar, Wasm Research Day ’25, Wasm Workshop ’25
• PC Member: NEPLS ’25Sp, SETTA ’25, ICFP ’25, TFPIE ’25, PLDI ’25, OOPSLA ’25

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.

I obtained my Ph.D. in Computer Science from Purdue University (advised by Tiark Rompf), and M.S. from the University of Utah (advised by Matt Might). As an undergraduate, I majored in Law and Management Information System at China University of Geosciences Beijing. I was a postdoctoral researcher at Purdue and 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 PL, 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. Some of my ongoing research themes include:

Publications🔗

Recent Drafts
  • 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]

Conference/Workshop Papers

Dissertation

Manuscripts
  • 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]

Talks🔗

Mentoring🔗

Undergraduate Students
  • Alex Bai, Tufts University, Fall 2024 -

  • Mikail Khan, Purdue University, Fall 2022 - Spring 2024 (Next step: PhD student at CMU)

  • Shangyin Tan, Purdue University, Summer 2020 - Fall 2021 (Next step: PhD student at UC Berkeley)

  • Yuxuan Chen, Purdue University, Fall 2018 (Next step: Software Engineer at Meta)

Teaching🔗

Services🔗

Code🔗

Quotes🔗

Keep fun in computing — Alan Perlis

Page generated using Racket and Scribble.