Chenyang Zhao

MSci Imperial College London | Inria Intern

A portrait of Keunhong Park

Education

Imperial College London
MSci in Mathematics.
Currently in the last year of the program. Modules I've taken include: Algebraic Curves, Algebra 3, Algebraic Number Theory, Algebraic Topology, Linear Algbera and Numerical Analysis, Geometry Curves and Surfaces, Dynamical System, etc.
Oct 2022 – Present

Employment

Inria
Research Intern in AROMATH team. Supervised by Laurent Busé.
June 2025 - Sep 2025
Sophia Antipolis, France

Conferences

Macaulay2 in the Sciences — MPI MiS, Leipzig, Germany
Participant
[Website]
Nov 2024
Tomorrow's Mathematicians Today 2025 — Greenwich University, London, UK
Speaker
[Website]
Mar 2025

Talks

Exploring Game Theory via Algebraic Geometry with Macaulay2 Package Development
Undergraduate Colloquium, Imperial College London
Through illustrative examples and computational experiments, I demonstrates how the synergy between algebraic geometry and computation can illuminate new pathways in the study of game theory.
Jan 2025
Exploring Game Theory via Algebraic Geometry with Macaulay2 Package Development
TMT 2025, Greenwich University, London, UK
[Slides/Recording]
Mar 2025

Software

GameTheory.m2 v1.0
GameTheory.m2 is a Macaulay2 package for several equilibrium concepts in game theory. It constructs the algebro-geometric and combinatorial models for Nash, correlated, dependency, and conditional independence equilibria.
[Code] [Docs] [Website]
2025

Projects

Implicit representation of algebraic rational 3D surfaces by means of syzygy-based methods
Studied the implicit representation of rational algebraic curves and surfaces via syzygy-based matrices. Studied several tools from algebraic geometry (e.g. basics on algebraic schemes, blowup maps), commutative algebra (e.g. Rees and Symmetric algebras). Implement the result into Macaulay2 code and develop a Macaulay2 Package for syzygy-based matrices of algebraic curves and surfaces. Look at the open problem of cases for which the formalism does not allow to conclude the validity of the method of moving quadrics.
Apr 2025 – June 2025
GameTheory Package Development in Macaulay2
Developed the GameTheory package in Macaulay2 to compute totally mixed Nash equilibria using payoff tensors. Contributed to the Workshop and development of the package. Here is the official Macaulay2 documentation of the package.
Nov. 2024 – July 2025
Undergraduate Research Opportunity Programme (UROP)
Studied basic Algebraic Geometry and ECC using algebraic (arithmetic) geometry. Studied elliptic curves over finite fields and key results from the angle of cryptography. My hand written notes.
July 2024 – Sep 2024
Second-Year Group Research Project: Dynamics on Homogeneous Spaces: Ratner's Theorems and Applications
Supervised by Dr Marie-Amelie Lawn. Proved Ratner's Measure Classification Theorem and applied it to Margulis' Theorem, creating Python visualisations for ergodic flows and quantitative results. See visualisations here. Wrote key sections of the report and created code-based visualisations. See the report here.
May 2024 – June 2024

Publications

The GameTheory package for Macaulay2
E Connelly, V Galgano, Z He, G Maletto, E Neuhaus, I Portakal, H Tillmann-Morris, C Zhao
We describe the GameTheory package version 1.0 for computing equilibria in game theory available since version 1.25.05 of Macaulay2. We briefly explain the four equilibrium notions, Nash, correlated, dependency, and conditional independence, and demonstrate their implementation in the package with examples.
arXiv, 2025