CV

See Full CV here: cv

Education

• (incoming) Ph.D in Computer Science, University of Washington
• B.S. in Joint Math and Computer Science, Harvey Mudd College, 2025
  • Graduated with High Distinction, Honors in Mathematics, and Honors in Computer Science

Awards

• Courtney S. Coleman Prize, HMC (2023): outstanding performance in mathematics as a sophomore (3 out of Class of 2025)
• Wing and Ellen Tam Award, HMC (2025): given to student team for demonstrating excellence in software design and development.

Skills

• Programming: Python, C++, R, Racket, Java, Haskell, Rocq, Prolog, SQL, Javascript/HTML/CSS, React
• Tools: GitHub, Mathematica, AMPL with Gurobi, Stata, Solidworks, ArcGIS, HMC machine shop certified
• Language: English, Mandarin (proficient)

Publications

Towards Verified Linear Algebra Programs Through Equivalence

Yihan Yang, Mohit Tekriwal, John Sarracino, Matthew Sottile, Ignacio Laguna. 2025. Towards Verified Linear Algebra Programs Through Equivalence accepted at Coq for Programming Languages (CoqPL) in POPL2025 https://popl25.sigplan.org/details/CoqPL-2025-papers/3/Towards-Verified-Linear-Algebra-Programs-Through-Equivalence

Interprocedural Path Complexity Analysis

Mira Kaniyur, Ana Cavalcante-Studart,Yihan Yang, Sangeon Park, David Chen, Duy Lam, and Lucas Bang. 2024. Interprocedural Path Complexity Analysis. In Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2024). Association for Computing Machinery, New York, NY, USA, 162-173. https://doi.org/10.1145/3650212.3652118

Path Complexity Analysis for Interprocedural Code

Mira Bhagirathi Kaniyur, Ana Cavalcante-Studart, Yihan Yang, Sangeon Park, David Chen, Duy Lam, and Lucas Bang. 2024. Path Complexity Analysis for Interprocedural Code. In Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion '24). Association for Computing Machinery, New York, NY, USA, 404-405. https://doi.org/10.1145/3639478.3643527

Tutoring/Teaching

Computer Science:

• Computability and Logic (HMC), Fall 2023 and Spring 2024
• Algorithms (HMC), Fall 2024 and Spring 2025

Math:

• Single and Multivariable Calculus (HMC), Fall 2022
• Real Analysis (HMC), Spring 2023
• Discrete Math (HMC), Fall 2023
• Abstract Algebra (HMC), Spring 2024
• Number Theory (HMC), Spring 2025