GeezerVison

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.

see more projects →

contact

[email protected]