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 theory proving.

I am currently seeking Summer 2026 internships in software engineering. Feel free to reach out through email or LinkedIn!