greetings! i'm ember, a nonbinary person in the united states. i like working with rust, and have big ideas about how formal methods can radically change the world: make computers actually work. what an idea! my home on the web is lunar.town. you can email me
i studied math and computer science at clarkson university from 2013-2017 and returned in 2022 to study digital art, machine learning, and electrical engineering for another year. i studied formal verification (proof engineering) at UNSW during 2016.
navigate: projects • resume • blog
throughlines
rust language — compiler • community building • core tooling
pre-1.0 contributor. created the first version of the currently-shipped rustdoc, spec'd and implemented the flexible target specification system for cross-compilation, started This Week in Rust, and kicked off VisualRust. cargo-lite, gl-rs, and more.
mina protocol — founding engineer • zkSNARK blockchain
founding engineer at O(1) Labs working on Mina during its birth. mina is a hash-linked distributed proof system that leverages advanced constructive mathematics to make blockchain history manageable. i did peer-to-peer networking, storage management, protocol design, consensus development, and build system/packaging. i was excited about the possibilities of zero-knowledge proofs.
robigalia & seL4 — research • formally verified systems
work on seL4, the first kernel with a computer-checked end-to-end correctness proof. created Robigalia, a persistent capability OS design using rust.