About me

My name is Gehan Jia, and I also go by Nancy. I am a Master’s student in Computer Science at the University of Illinois at Urbana-Champaign (expected Dec 2026), focusing on Formal Methods while exploring Game Development and creative technology. I received my B.S. in Mathematics and Computer Science from UIUC in May 2024, with a minor in Critical Film Production.

I am working with Elsa Gunter for my master’s thesis. My focus is on automated theorem proving.

I am planning to graduate in December 2026. I am deciding between a PhD degree, a job in software engineering, or taking part in an indie game project. If you think there is potential for us to work together, feel free to reach out through email or LinkedIn!