Handout for a seminar talk about the Hall algebra of the Jordan quiver over F1.

Notes about "An introduction to Finite Group Representation Theory using Agda"

Handout for a seminar talk about the quantum group U_q(sl2).

DFT for cyclic group and symmetric group over finite fields, and number fields in the unitary case.

Abelian unramified geometric class field theory

A Mathematica package for studies and applications of the Brauer Algebra

An interactive exploration of the representation theory of the Lie algebra sl(2,C), as part of lecture 4 of Quantum Formalism's course on Lie groups with applications.

A package for Lie (super)algebra computations in Mathematica software system

Characters of the symmetric group in Haskell

Miscellaneous math research calculations in various languages.

My undergraduate thesis in quantum computing with advisor Jamie Pommersheim. I used representation theoretic tools to analyze lower bounds of certain classes of quantum algorithms.

A Mathematica package developed for mathematical physics research involving Hopf algebras, representation theory, and fusion categories. This package was originally developped to support my research direction in R-parastatistics [Nature 637, 314-318 (2025)], but can also be used more broadly for studying topological order and generalized symmetry.

Notes on Lie algebras and their representation theory.

This repo contains complementary code for the paper Global Representation Ring and Knutson Index (authors: Dylan Johnston, Diego Martín Duro, Dmitriy Rumynin). The repo contains a program written in Sage & GAP to produce tables for global representation rings of a finite group G.

On an octonionic construction of the groups of type E₆ and ²E₆

arXiv:2507.21316 Notebooks showing the lifting of primitive idempotents from the group algebras F_pA_5 (p=2,3,5) to the group algebra QA_5.

CM uniquement.

In this project, we attempt to reformulate various notions from classical commutative algebra (such as flatness, regularity, smoothness, etc.) in an entirely categorical manner, so as to be able to later write down their analogues in derived algebraic geometry without having to develop extra theory. We will also be presenting certain application…