60 Fifth Avenue
Room 442
New York, NY 10011

About Me

I am a fourth year PhD student in computer science at the Courant Institute, New York University, working with Thomas Wies.

I am broadly interested in logic and formal verification. My current work focuses on the theory of multiparty session types.

I received my B.S. (Hons) from Yale-NUS College, Singapore. Under the supervision of Aquinas Hobor and Frank Stephan, my capstone thesis formalized the theory of block pumpable languages in Coq.

Between Yale-NUS and NYU, I spent a year verifying blockchain consensus protocols at Runtime Verification.


  1. Deciding Subtyping for Asynchronous Multiparty Sessions
    Elaine Li, Felix Stutz, and Thomas Wies
    ESOP 2024
  2. Complete Multiparty Session Type Projection with Automata
    Elaine Li, Felix Stutz, Thomas Wies and Damien Zufferey
    CAV 2023
  3. Formalizing Correct-by-Construction Casper in Coq
    Elaine Li, Traian Serbanuta, Denisa Diaconescu, Vlad Zamfir, and Grigore Rosu
    ICBC 2020
  4. Pumping, With or Without Choice
    Aquinas Hobor, Elaine Li and Frank Stephan
    APLAS 2019
  5. Formalizing Block Pumpable Language Theory
    Elaine Li
    Yale-NUS College Capstone Thesis, 2019

Professional Activities

Program Committee
Dafny 2024