I am an independent computer security researcher based in Portland, Oregon.

My interests include operating systems, formal methods, programming languages, and reverse engineering.

These days, most of my time at work is spent hacking on and around seL4, the formally verified microkernel. Right now I'm working on binary verification and seeding the seL4 userspace ecosystem with support for the Rust programming language.

I offer my consulting services through Colias Group, LLC.