CV

Education

• M.S. in Computer Science, University of Illinois at Urbana-Champaign, Dec 2026 (expected)
• B.S. in Mathematics and Computer Science, University of Illinois at Urbana-Champaign, May 2024
  • Minor in Critical Film Production
  • Cumulative GPA: 3.78/4.00

Work Experience

• Graduate Student Researcher — Department of Computer Science, UIUC | Fall 2024 – Present
  • Mentor: Elsa Gunter
  • Conquering the Burning Number Conjecture with an inductive algorithm based on case analysis
  • Defined dynamic and static graph burning processes with recursive logic and geometric calculation
  • Formalized special graph structures and enumeration logic on their vertex sets in Isabelle/HOL
• CS 124 Teaching Assistant Head — Department of Computer Science, UIUC | Aug 2021 – Present
  • Instructor: Prof. Geoffrey Challen
  • Authored coding questions, real-time solution walkthroughs, and debugging challenges in Java and Kotlin
  • Held in-person office hours for real-time debugging with students, and managed course staff as head TA
  • Built innovative automated grading systems such as the self-validating Questioner and the Time-On-AI grading architecture with the GPT-5 model
  • Designed conversational programming projects with Claude Code and Codex agents
• CS 477 Course Assistant — Department of Computer Science, UIUC | Spring 2024
  • Instructor: Prof. Gagandeep Singh
  • Designed and graded homework problems on big-step/small-step semantics, propositional and first-order logic, Hoare logic, etc.
  • Designed and graded program analysis assessments on the Z3 SMT/theorem prover
• Undergraduate Student Researcher — Focal Lab, UIUC | Mar 2023 – May 2024
  • Mentors: Gagandeep Singh, Yasmin Sarita
  • Optimized pointer analysis framework across multiple languages (Souffle, Java, Groovy), improving precision and scalability beyond 2-object sensitivity
  • Integrated reinforcement learning to automate analysis path decisions and memory allocation
  • Wrote automated testing in Python for accuracy validation and targeted bug fixes
• Undergraduate Student Researcher — Illinois Geometry Lab, UIUC Math Dept | Jan 2022 – Aug 2022
  • Mentor: Sean English
  • Developed graph burning simulators in Python for graphs with 500+ vertices
  • Used matrix representation and spectral analysis to examine graph properties
• Project Manager Assistant (Intern) — Beijing Beiming Digital Technology | June 2021
  • Collaborated with Tencent on a government project for citizen activity monitoring and public facility management
  • Analyzed AI-monitoring system data for risk assessments and resource allocation decisions
  • Coordinated across technical and project management teams on data transport and test delivery

Projects

• SelfReflectiveRatings | React, Supabase, PostgreSQL, AWS Amplify — Independent Study advised by Geoffrey Challen
  • Solo-designed full-stack web app for the UIUC Psychology Department (PI: Brent Roberts) for personality self-assessments (BFI-2, BESSI-20) and multiplayer peer rating games
  • Implemented real-time game lobbies with a team-match algorithm, auto-save features, and dynamic score calculation incorporating Pearson correlation
  • Built with React for the UI and Supabase/PostgreSQL for user management; deployed on AWS Amplify
• NoodleEscape | C#, Unity, ShaderLab, HLSL — CS 415 VR Project
  • Developed a first-person action game for VR headsets using Unity XR
  • Built food assets in Blender and created a realistic kitchen environment in Unity with designated interactive game objects and player movement
  • Implemented custom rendering pipeline using command buffer abstractions and shader programming
• In the Blue | Unity, C# — thatgamejam#1, Dec 2025
  • Built a 3D fantasy adventure/puzzle real-time multiplayer game featuring RPG, interactive fiction, and visual novel elements
  • Led a 3-person team, responsible for programming, level design, and sound design

Additional projects — including research write-ups, formal verification work, and further game and audio projects — are on my portfolio page.

Skills

• Programming: C/C++/C#, Python, Java, Kotlin, GDScript, HTML/CSS, JavaScript, React, SQL, OCaml, Isabelle/HOL, Z3, Souffle/Datalog, HLSL/ShaderLab, LaTeX
• Tools & Platforms: Git, Supabase, PostgreSQL, AWS Amplify, Unity, Meta XR SDK, Godot, Unreal Engine, Blender
• Media Production: Adobe Photoshop, Adobe Premiere, Final Cut Pro X, DaVinci Resolve
• Languages: English (fluent), Mandarin Chinese (fluent)

Scholarships and Awards

• Mrs. E. J. Hoover Scholarship
• Outstanding Course Assistants Award, Fall 2022 (Department of Computer Science, UIUC)

Service and Leadership

• Oct 2020 – Aug 2024: Vice President of Corn TV (University RSO)
• Aug 2022 – Aug 2023: Resident Advisor for Community Engagement at St. John’s Catholic Newman Center