Posts by Collection

portfolio

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

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.

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.