Hi, I’m Max Fan. I am a student at the University of Illinois Urbana-Champaign (UIUC), majoring in Computer Science + 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
• cryptography

You can see some of my most recent projects and work on my GitHub page.

I also dabble in other things as well :). You can contact me at the following email address: myfan3 {at} illinois {dot} edu.