Hi, my name is Carson. I’m currently majoring in math and computer science at Northwestern University. 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.

The following projects are my current focus:

I’m also actively working on the following projects:

Notable previous work:

Language knowledge:

I also work on open-source maintenance on a variety of small projects. In my free time I like playing online Go, marathon running, and retrofitting the fans in my server rack so I can sleep. If you’re interested in working on something together, contact me at first_name@surmeier.us