I love to hack, make, and create! I'm currently a student at the University of Illinois at Urbana-Champaign (UIUC). I'm also a ham radio operator (general class) – my callsign is KC1LTV.

My main interests are as follows (in order of most recent/level of interest):

• type theory, theorem proving, and formal verification (under Professor Talia Ringer)
• computational redistricting (quantifying gerrymandering via math and code)
• reverse engineering
• cryptography

I also dabble in other things as well :).