Profile photo

Thalia Archibald

PhD student
University of Utah

thalia@archibald.dev
github.com/thaliaarchi
Curriculum vitæ

I am a PhD student at the University of Utah, researching compiler verification with John Regehr. My current work involves extending Alive2, a translation validator for LLVM, to verify more complex programs.

I contribute to open source projects, including the Rust standard library, jq and jqjq, and Git.

I also enjoy researching software history, particularly of early UNIX and regular expression engines.

Blog