About me
My name is Lucy! I’m a third-year PhD student in the logic group at UC Berkeley, where I’m advised by Wesley Holliday. I graduated with an AB in mathematics from UChicago in 2024.
I work on formal methods and interactive theorem proving, mostly in Lean. Things I’ve been thinking about lately:
- proof-producing computations
- formalizing election procedures
- compositional verification of autonomous systems
Some non-math things I enjoy, in no particular order:
- science fiction
- skiing
- soccer
- playing the bass guitar badly