Portfolio item number 1
Short description of portfolio item number 1
Short description of portfolio item number 1
Short description of portfolio item number 2
I have been working towards formalizing the results of my honors thesis, “Eckmann-Hilton and the Hopf Fibration in Homotopy Type Theory”. The formalization is taking place in the agda-unimath library.
Published in CU Scholar, 2023
My honors thesis
Published:
Confrence website: https://hott.github.io/HoTT-2023/
Published:
This talk presents an improved version of my honors thesis, making essential usage of the notion of a type family equipped with a lift.
Tutoring, University of Colorado Boulder, Mathematics, 2020
From October 2020 (my sophmore year at CU) untill May 2023 (my final semester at CU), I worked as a tutor at the CU Boulder Mathematics academic resource center. I helped with material ranging from Calculus I-III to Linear Algbra, Discrete Math, and Abstract Algebra.
Summer School - 6th Grade, GT STRIVE Prep - Lake, 2021
During the summer of 2021, I worked as a teaching fellow at Generation Teach, teaching 6th grade mathematics to a class size of about 30 students.
Private Tutoring, Private Practice, 2023
I have over three years of teaching and tutoring experience, including experience with private tutoring, leading in-person classes of up to 30 students, and more. I am currently working as a private tutor in the greater Boulder area, serving student both locally and online. If you or someone you know is interested in tutoring services, please don’t hesitate to reach out. You can find my email in the sidebar.
Teaching, Temple Grandin School, 2023
During the 2023-2024 school year, I served as the lead mathematics instructor at Temple Grandin School, serving students with Asperger’s Syndrome and similar learning profiles. My duties including planning and constructing curriculum, leading three classes of highschool and middle school mathematics, and assessing student growth.