is a doctoral student researching category theory, convex analysis, and high‑performance computing. He has made significant contributions to the CliqueTrees.jl package, implementing the ChordalLDLt multifrontal factorisation that underpins sparse symmetric positive‑definite linear solves. These improvements accelerate nullspace and global‑section computations in the CellularSheaves.jl library and enable more efficient compositional methods across the lab’s projects.
Selected publications
- Graphical Quadratic Algebra – ICTAC 2025 (Lecture Notes in Computer Science). Dario Stein, Fabio Zanasi, Robin Piedeleu, and Richard Samuelson. DOI: 10.1007/978-3-032-11176-0_18
- A Categorical Treatment of Open Linear Systems – Logical Methods in Computer Science, 2025. Dario Stein and Richard Samuelson. DOI: 10.46298/lmcs-21(3:11)2025
