Richard Samuelson
Richard Samuelson 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