Page Not Found
Page not found. Your pixels are in another canvas.
Sitemap
A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.
Pages
Page not in menu
This is a page not in th emain menu
Posts
Future Blog Post
Published:
This post will show up by default. To disable scheduling of future posts, edit config.yml and set future: false.
Blog Post number 4
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 3
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 2
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 1
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
portfolio
Portfolio item number 1
Short description of portfolio item number 1
Portfolio item number 2
Short description of portfolio item number 2
projects
Formalizing Eckmann-Hilton and the Hopf Fibration in Homotopy Type Theory
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.
publications
Honors Thesis: Eckmann-Hilton and the Hopf Fibration in Homotopy Type Theory
Published in CU Scholar, 2023
My honors thesis
talks
Eckmann-Hilton and the Hopf Fibration in Homotopy Type Theory
Published:
Confrence website: https://hott.github.io/HoTT-2023/
Eckmann-Hilton and the Hopf Fibration
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.
teaching
Tutoring - Mathematics Academic Resource Center
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.
Teaching - Generation Teach
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.
Tutoring - Private Practice
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
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.