- FORMALIZATION OF COMBINATORIAL DESIGN THEORY, ERIC WANG
- THE SPACE OF EIGENDATA, ALICE MARCHANT
- MASTERING LEAN: FORMALIZING THEOREMS THROUGH MATHEMATICS IN LEAN, ISABEL GOODWIN
- GENERALIZED QUANTUM GROUPS ASSOCIATED TO RESTRICTED ENDYMION ALGEBRAS, TRISHA KOTHAVALE
- EVALUATING STATISTICAL METHODS FOR CROSSOVER INTERFERENCE, LEAH VALENTINER
- CONFORMAL INVARIANCE FOR SOLUTIONS OF Dkf = 0, NEEL AGRAWAL
- SELF-ADJOINT EXTENSIONS OF DIRAC OPERATORS IN CORNER GEOMETRIES, AMELIE MARTIN
- COMPUTING HH FOR POLYTOPES IN Rn, MICHAEL ZHENG
- UNITARY DESIGNS FOR QUANTUM COMPUTERS, LUKE JONES
The College of Arts