Thalia Archibald

thalia@archibald.dev  ·  github.com/thaliaarchi

Summary

I am applying to PhD programs in programming languages and systems software.

In particular, program transformation and analysis interest me, including compiler mid-end design, rewrite rules, and verifying correctness. I have built multiple compilers and worked professionally on the GraalVM compiler. I am effective with many programming languages, including Rust, Coq, Go, and C.

Education

Presentations

Writing

Professional Experience

Projects

I learn by building and enjoy implementing foundational systems software. My tools of choice are Rust and Coq. All of these projects and others are published on my GitHub profile, thaliaarchi.