Thalia Archibald

thalia@archibald.dev  ·  github.com/thaliaarchi

Summary

I am applying to PhD programs in programming languages and systems software, with a focus on program transformation, compiler optimization, and formal verification. My goal is to advance research in composable, verifiable, and scalable compiler infrastructures. I have built several compilers, worked professionally on the GraalVM compiler, and am proficient in many 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.