Information | Hanxi (Gary) Chen

Education

Cornell University - Ithaca, NY, USA 2025-present

Ann S. Bowers College of Computing and Information Science

Ph.D. in Computer Science

[Advisors]: Prof. Alexandra Silva, Prof. Andrew C. Myers

University of Pennsylvania - Philadelphia, PA, USA 2020-2025

Penn Engineering & The Wharton School

M.S.E. in Computer and Information Science

B.S.E. in Computer Science Mathematics Minor

B.S. in Economics

[GPA]: 3.97/4.00, Summa Cum Laude

[Research advisors]: Prof. Steve Zdancewic, Prof. Sanjeev Khanna (Wharton Research Scholars)

[Honors]: Wharton Research Scholars, MCIT TA Award, CIS Faculty Appreciation Award, Eta Kappa Nu Honors Society, Tau Beta Pi Honors Society, Beta Gamma Sigma Honors Society

Service

[Cornell PL Seminar (PLDG)] Seminar Organization 2026

[ATVA 2026] Artifact Evaluation Committee Jul 2026

[PLDI 2026] Artifact Evaluation Committee Jan 2026

[POPL 2026] Artifact Evaluation Committee Nov 2025

[POPL 2025] Student Volunteer Jan 2025

[SPLASH 2024] Student Volunteer Oct 2024

[OPLSS 2024] Student Volunteer Jun 2024

Teaching

Cornell University

[CS 4160/CS 5160] Formal Verification

[Graduate Teaching Assistant] Spr 2026

[CS 4110/CS 5110] Programming Languages and Logics

[Graduate Teaching Assistant] Fal 2025

University of Pennsylvania

[CIS 5521] Compilers and Interpreters

[Teaching Assistant] Spr 2025

[CIS 5520] Advanced Programming

[Teaching Assistant] Fal 2024

[CIS 5020/CIT 5960/CIS 3200] Analysis of Algorithms

[Head Teaching Assistant] Spr 2023, Sum 2023, Fal 2023, Sum 2024
[Teaching Assistant] Sum 2022, Fal 2022

[NETS 3120] Theory of Networks

[Head Teaching Assistant] Spr 2024

[CIS 5000] Software Foundations

[Teaching Assistant] Fal 2023