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.