Code

• https://github.com/jacksonwalters

Selected Works

• Modular and unitary DFTs for symmetric groups. Distinct algorithms contributed to SageMath. [modular DFT] [unitary DFT]
• The countable atomless Boolean algebra in Lean. A Lean 4 formalization of the cylinder-set construction and its atomlessness. [source] [paper] [DOI]
• Representations of finite general linear groups. SageMath constructions for GL(2) and GL(3), including Steinberg representations. [source] [paper]
• Educational lattice cryptography in Rust. Unaudited implementations of ML-KEM, ring-LWE, and module-LWE.