Hi, my name is Carson. I’m currently an undergrad at Northwestern studying math and computer science. I work in the Prescience Lab, led by Professor Peter Dinda. My main research interests are operating system microkernels, hardware/software formal verification, cryptography, and homotopy type theory.

I’m an active contributor to the following projects:

Notable previous work:

I’m highly proficient in the Rust, C, Python, Bash, and awk languages. I have high familiarity with and am actively learning Lean, Scala/Chisel HDL and Verilog. I also work on open-source maintenance on a variety of smaller projects. In my free time I like working on VR/AR/wearable hardware and improving my homelab.

If you’re interested in working on something together, contact me at carson@surmeier.us