About Me

I study Mathematics and Computer Science at Carleton College. This summer, I'm an intern at Google.

My academic and professional interests include information security, formally verified systems, programming languages, and cryptography (both mathematical and applied).