Max Fan

I will be at the Verification of Scientific Software workshop at ETAPS 2025, along with Ariel Kellison and Sam Pollard for our paper (in Hamilton ON, Canada from May 4th-7th).

I am a TA at the Adjoint School 2025 (in-person at Applied Category Theory 2025 at UFL from May 26-June 6th).

I was invited to the Hausdorff Research Institute of Mathematics's program on the "Prospects of Formal Mathematics" (in Bonn, Germany from August 4th-16th).

I was an intern at Pi Squared (led by Professor Grigore Rosu), working on logic, proofs, and programming language semantics to make verifiable computing a reality.

I was at OPLSS 2024 (at BU) in Boston from June 3rd-13th.

I was awarded the Lois S. Green scholarship by the University of Illinois Philosophy department for promise in philosophy. School news article.

I was awarded a National Science Foundation Graduate Research Fellowship (NSF GRFP).

Our preprint, "Proof Repair across Quotient Type Equivalences" is now updated on the arXiv (old version).

I was awarded the James Scholar Preble Research Scholarship, given by the University of Illinois to outstanding honors students involved in research.

I was a research intern at NASA Ames for the summer, in the Robust Software Engineering group under the mentorship of Dr. Ivan Perez.

I was awarded the Goldwater scholarship, a merit-based national scholarship established by Congress for research contributions and potential in STEM. School news article.

I was a software engineering intern at Fidelity Investment’s Center for Applied Technology for the summer.

As president, my high school CS club discovered our school-mandated COVID-19 contact tracing app made false privacy claims. Due to legal and disciplinary threats, we took down our findings. Findings (restored). School news article (archived).

I worked at the MGGG redistricting lab on quantifying gerrymandering for civil rights litigation with the NAACP LDF (and others). Successful U.S. Supreme Court ruling on Alabama's unconstitutional electoral maps.