Bio
I am a student at the University of Illinois Urbana-Champaign (UIUC), majoring in Computer Science + Philosophy. I am applying to CS PhD programs this year (for fall 2024).
You can contact me at the following email address: myfan3 {at} illinois {dot} edu.
Interests
My interests are as follows (in order of most recent/level of interest):
- type theory, theorem proving, and formal methods (under Professor Talia Ringer)
- formal epistemology and problem of induction (with Professor Jonathan Livengood)
- computational redistricting (quantifying gerrymandering via math and code)
- reverse engineering
- cryptography
Recent News
December 2023
I was invited to the Hausdorff Research Institute of Mathematics's international program on the "Prospects of formal mathematics".
October 2023
Our preprint, "Towards Proof Repair in Cubical Agda" is now on the arXiv.
July 2023
I was awarded the James Scholar Preble Research Scholarship, awarded by the University of Illinois to outstanding honors students involved in research.
June 2023
I was a research intern at NASA Ames for the summer, in the Robust Software Engineering group under the mentorship of Dr. Ivan Perez.
April 2023
I was awarded the Goldwater scholarship, a merit-based national scholarship established by Congress for research contributions and potential in STEM. School news article.
June 2022
I was a software engineering intern at Fidelity Investment’s Center for Applied Technology for the summer.
Hobbies
Food. A personal project of mine is to craft food from first principles. I've been making butter from cows, with the aspirational goal of beating the artisanal butter found in quality stores. I started a primitive bartering system where my friends and I trade homemade goods that we specialize in (artisanal butter, chocolate chip cookies, pork carnitas, sourdough bread, etc.). Moooo 🐄.
Ham radio. I have a general class amateur radio license from the FCC (callsign: KC1LTV). I use my license infrequently.
Books. I'm currently re-reading Dune (although I feel that the quality drops off in the later books). Book suggestions are welcome (I like most genres).
This site does not track you.
Licensed under CC BY-NC-SA.