Thalia Archibald
@thalia@discuss.systems
Computer science PhD student at the University of Utah, researching compiler verification with @regehr.
UNIX historian and archivist.
Rust standard library contributor.
Computer science PhD student at the University of Utah, researching compiler verification with @regehr.
UNIX historian and archivist.
Rust standard library contributor.