cv

Mathematics Tutor

Sheridan Center for Teaching and Learning

Small-group tutoring for students in Brown's Multivariable Calculus with Theory course, MATH0350. Personalizing lesson plans for needs of group, structuring lessons to encourage student engagement and optimize for learning.

• Teaching
• Multivariable Calculus

Research Assistant

Brown University

Work on mathematics formalization under Robert Lewis. Current project on the Fibonacci Sequence, which is a functor on the category of natural numbers with divisibility.

Math Circle Helper

Brown University Math Circle

Helped run Math Circle at Achievement First High School. Facilitated games and activities for students from underserved backgrounds to engage with mathematics. Communicated the activity, and prompted students to explain their theories and reasoning improving their critical thinking and communication abilities.

• Teaching
• Recreational Mathematics

ScB

Brown University

Mathematics-Computer Science

• Multivariable Calculus with Theory
• Accelerated Introduction to Computer Science
• Contemporary Ethical Issues
• Linear Algebra with Theory
• Abstract Algebra
• Modal Logic
• Cryptography
• Playing with Words: The Linguistic Principles Behind Word Games and Puzzles
• Homotopy Type Theory (independent study)

Highest Mark in the World in Mathematics

Pearson-Edexcel

Achieved the Highest Mark in the World in the Pearson-Edexcel International Advanced Level Mathematics examination, completed in June 2023.

Fib-Functor

The divisibility relation on the natural numbers forms an example of a category, an abstract mathematical structure. The fibonacci sequence on this category is an example of a functor, a map preserving the structure of a category. This project is on the formalization of this fact, as well as related properties of the fibonacci functor, in Lean4, an interactive theorem prover.

• Math Formalization
• Category Theory