About Me

I study Mathematics and Computer Science at Carleton College.

My interests include system security, formal verification, programming languages, cryptography (both mathematical and applied), and reverse engineering.

To see what I've been working on, check out Malice or hs-arm.