I am an independent computer security researcher based in Portland, Oregon.
My interests include privacy, operating systems, programming languages, formal methods, and reverse engineering.
These days, most of my time at work is spent hacking on and around seL4, the formally verified microkernel. In particular, I've been working on seeding the seL4 userspace ecosystem with support for the Rust programming language.
I offer my consulting services through Colias Group, LLC.