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.
Publications
-
Deciding Subtyping for Asynchronous Multiparty Sessions
Elaine Li, Felix Stutz, and Thomas Wies
ESOP 2024 -
Complete Multiparty Session Type Projection with Automata
Elaine Li, Felix Stutz, Thomas Wies and Damien Zufferey
CAV 2023 -
Formalizing Correct-by-Construction Casper in Coq
Elaine Li, Traian Serbanuta, Denisa Diaconescu, Vlad Zamfir, and Grigore Rosu
ICBC 2020 -
Pumping, With or Without Choice
Aquinas Hobor, Elaine Li and Frank Stephan
APLAS 2019 -
Formalizing Block Pumpable Language Theory
Elaine Li
Yale-NUS College Capstone Thesis, 2019
Professional Activities
- Program Committee
- Dafny 2024