How to Fuzz Up a Type Theory

August 01, 2023

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.

Fuzzy Type Theory for Opinion Dynamics

July 15, 2022

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.

Path and Cycle Decompositions of Hypercube Graphs

July 30, 2021

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 which we are in the process of writing a paper about.