People / Kristopher Brown
Research Scientist
About
Kris Brown previously completed a postdoc in computer science at UF and a PhD in chemical engineering at Stanford University. Kris is interested in helping scientists (and others) better organize their knowledge and communicate with each other. Kris studies categorical gadgets such as diagrams, sketches, and (co)limits as a language to construct more transparent, extensible, and composable approaches to problems of scientific interest such as constraint solvers, rewrite systems, linear algebra, and model exploration.
Blog posts
| Date | Title |
|---|---|
| 2025-11-24 | Call for 2026 Summer Research Associates |
| 2025-08-15 | Incremental query updating in adhesive categories |
| 2025-08-06 | Substitution is also pushout |
| 2024-10-11 | Taking nonlogical concepts seriously |
| 2023-12-14 | Responsible mathematics and metaphors of semantics |
| 2023-07-07 | Agent-based modeling via graph rewriting |
| 2023-06-20 | Acsets with variables |
No matching items