Email: craigliu at berkeley dot edu
I’m a first-year CS PhD student at UC Berkeley advised by Max Willsey. I like programming languages and formal methods.
Before Berkeley, I was an undergrad in CS at Purdue University. While there, I was very fortunate to work with Jenna DiVincenzo on gradual verification and Tiark Rompf on effects as capabilities.
Typestate via Revocable Capabilities
Songlin Jia, Craig Liu, Siyuan He, Haotian Deng, Yuyan Bao,
Tiark Rompf
PLDI 2026
Design of Fractional Permissions for a Gradual Verifier
Craig Liu
SPLASH 2024 SRC