Structure · Representation · Proof

Hello, I’m

Ruixiao Zeng曾睿骁

• Email zeng0146@e.ntu.edu.sg
• GitHub (opens in a new tab)
• Google Scholar (opens in a new tab)
• dblp (opens in a new tab)
• ORCID (opens in a new tab)

I graduated from Nanyang Technological University with a degree in Computer Science.

I am interested in concise representations of mathematical structures: the properties they reveal, the proofs they enable, and how their implications can guide the refinement of the representations themselves.