Hi, I’m Max Fan. I am a student at the University of Illinois at Urbana-Champaign (UIUC), majoring in Computer Science and Philosophy.
My 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
You can see some of my most recent projects and work on my GitHub page.
I also dabble in other things as well :).