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 :).