I am a PhD student in computer science at the University of Pennsylvania, advised by Andrew Head and Benjamin Pierce. My research interest is proof assistant usability. I am a member of the programming languages group and human-computer interaction group.
I completed my bachelor's degree at MIT, where I double majored in mathematics and computer science. I benefited from the undergraduate research program, including and especially as part of Saman Amarasinghe's compilers group.
I can be reached at jwshi@seas.upenn.edu. My CV is here.
QED in Context: An Observation Study of Proof Assistant Users
Jessica Shi, Cassia Torczon, Harrison Goldstein, Benjamin Pierce, Andrew Head.
OOPSLA 2025. [pdf]
Designing Proof Deautomation for Rocq
Jessica Shi, Cassia Torczon, Harrison Goldstein, Andrew Head, Benjamin Pierce.
PLATEAU 2025. [pdf]
Etna: An Evaluation Platform for Property-Based Testing (Experience Report)
Jessica Shi, Alperen Keles, Harrison Goldstein, Benjamin Pierce, Leonidas Lampropoulos.
ICFP 2023. [pdf] [code]
CETLI Graduate Fellowship for Teaching Excellence
fellow: AY 2024–25.
Introduction to Computer Programming (CIS 1100)
co-instructor: Fall 2024.
Haskell (CIS 1904)
instructor: Spring 2024, Spring 2023.
REPL’s Software Foundations
co-instructor: Summer 2023.
Software Foundations (CIS 5000)
teaching assistant: Fall 2023, Fall 2022.