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

Guannan Wei🔗

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

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
  • Escape with Your Self: Expressive Reachability Types with Sound and Decidable Bidirectional Type Checking
    Songlin Jia, Guannan Wei, Siyuan He, Yueyang Tang, Yuyan Bao, Tiark Rompf
    Under submission
    [arxiv]

  • Modeling Reachability Types with Logical Relations
    Yuyan Bao, 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

“The struggle itself is enough to fill a man’s heart. One must imagine Sisyphus happy.” — Albert Camus