Kris Brown
Kris Brown was a postdoctoral researcher in the lab from 2021 to 2022, arriving from a PhD in Chemical Engineering at Stanford. His work is on the implementation of category theory: how a categorical specification becomes a program, and how that program is made fast.
He is the largest contributor to Catlab.jl, the library the rest of the AlgebraicJulia ecosystem is built on, and to GATlab.jl, which implements generalized algebraic theories and their models. He also worked on ACSets.jl, the data structure underneath most of the lab’s modeling tools.
His paper on computational category-theoretic rewriting, with Evan Patterson, Tyler Hanks and James Fairbanks, won best paper at ICGT 2022. It shows how double-pushout rewriting can be implemented efficiently over attributed C-sets, which is the operation behind model transformation in AlgebraicJulia.
He has been a research scientist at the Topos Institute since 2022, working on model-based computing.
Selected publications
- Computational category-theoretic rewriting – Journal of Logical and Algebraic Methods in Programming, 2023. Kristopher Brown, Evan Patterson, Tyler Hanks, James Fairbanks. DOI: 10.1016/j.jlamp.2023.100888
- GATlab: Modeling and Programming with Generalized Algebraic Theories – Electronic Notes in Theoretical Informatics and Computer Science, 2024 (MFPS 2024). Owen Lynch, Kris Brown, James Fairbanks, Evan Patterson. DOI: 10.46298/entics.14666
- Computational Category-Theoretic Rewriting – Graph Transformation (ICGT 2022), Lecture Notes in Computer Science. Best paper. Kristopher Brown, Evan Patterson, Tyler Hanks, James Fairbanks. DOI: 10.1007/978-3-031-09843-7_9
- Compositional Exploration of Combinatorial Scientific Models – Applied Category Theory (ACT 2022). Kristopher Brown, Tyler Hanks, James Fairbanks. arXiv:2206.08755