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
A Fun Unsolved Problem - Covered Grids
Published:
I want to share a fun problem I don’t know how to solve! I discovered it a few years ago, but I only got a few partial results. It also has some neat implications I’ll talk about later!
Cameo in n-Category Cafe Post
Published:
Back in January I had a small cameo in John Baez’s article A Curious Integral on the n-Category Cafe, which was cool! It’s a good read and a fun problem, so I’d definitely recommend checking it out!
Adjoint School 2022 - Group 2B Blog Post
Published:
A blog post I wrote with Ana Luiza Tenório as part of the Adjoint School 2022 program, titled “Learning to Lie with Sheaves”. A link to the blog post on the n-Category Café can be found here.
portfolio
Portfolio item number 1
Published:
Short description of portfolio item number 1
Portfolio item number 2
Published:
Short description of portfolio item number 2
research
Path and Cycle Decompositions of Hypercube Graphs
Published:
During the summer of 2021, I participated in an REU at Carnegie Mellon University’s Summer Undergraduate Applied Mathematics Institute. Here two other students and I, advised by Professor David Offner, did novel research in graph theory.
Fuzzy Type Theory for Opinion Dynamics
Published:
During the spring and summer of 2022, I participated in the Adjoint School 2022 as part of the Fuzzy Type Theory for Opinion Dynamics group headed by Paige North. So far this has resulted in a talk I gave and a blog post I helped write. We are planning on continuing this line of inquiry in the coming months. The link to the Adjoint School 2022 website can be found here.
How to Fuzz Up a Type Theory
Published:
During the Applied Category Theory 2023 conference, I presented a poster detailing the results of a year of continued research from my “Fuzzy Type Theory for Opinion Dynamics” group from the Adjoint School 2022, headed by Paige North. This poster can be found below, and it details our strategy of determining the form of an “enriched dependent type theory” by enriching the categorical semantics of dependent type theory and reading out the resulting syntax.
talks
Type Theory and Agda
Published:
A ten-minute talk I gave at the conclusion of Johns Hopkins University’s Directed Reading Program 2021. No recording is available, but the slides can be found here.
Fuzzy Type Theory for Opinion Dynamics
Published:
A talk I gave during the Applied Category Theory Conference 2022, in which I discussed my group’s work during the research week of the Adjoint School 2022. A recording of the talk can be found here, while the slides can be found here.
What is Constructive Mathematics?
Published:
A talk I gave for the Johns Hopkins University What is… Seminar 2022, in which I give an introduction to constructive mathematics and synthetic differential geometry. A recording of the talk can be found here, and the abstract can be found below.