Wolfram Computation Meets Knowledge

Wolfram Science Winter School

January 2–12, 2024


Leon Zhao

Class of 2023

Leon is a sophomore at NYU double majoring in math and computer science. His research interests are combinatorics, algorithms, and computation. He also hopes to learn more about type theory and category theory. Outside of academics he likes running and origami.

Project: An Empirical Study - String Rewrite System Reducibility