People / Bryce Goldman

Research Associate

About

Bryce Goldman is a computer scientist and research software engineer, principally interested in categorical methods in programming languages, compilers, and formal verification. He holds a MSc in Computer Science (with a concentration in software theory) from Stanford University and a BA in Mathematics from UC Berkeley. His work at Topos is focused on using type theory and formal semantics to guide the design of software systems for categorical logic.

Personal website

https://alkizar.github.io/

Bryce Goldman

Date	Title
2026-10-05	Call for applications: 2-year postdoc in Oxford
2026-09-24	Discrete vs. filtered accessibility and presentability
2026-09-22	Who cares about a computation?
2026-09-18	Changing the frame: Formal modeling with LLM assistance, Part 1
2026-06-26	Our Summer Research Associates in 2026
2026-06-15	Geometric Type Theory, Done Two Ways
2026-06-01	CatColab v0.6: Starling
2026-04-18	Extending mass-action semantics, Part 2
2026-03-23	CatColab v0.5: Sandpiper
2026-03-18	Can the Most Abstract Math Make the World a Better Place? (Quanta)
2026-03-16	Extending mass-action semantics, Part 1
2026-01-30	Composition of attractor lattices
2026-01-08	CatColab v0.4: Robin
2025-11-24	Call for 2026 Summer Research Associates
2025-11-21	Set-sets
2025-11-07	DOTS from double theories
2025-10-07	Open position: Director of UK Operations
2025-09-26	Free PLTL algebras and a coalgebraic extension of hyperdoctrines
2025-08-15	Incremental query updating in adhesive categories
2025-08-06	Substitution is also pushout
2025-07-18	CatColab for Model Building
2025-07-13	Liberating synthetic quasi-coherence from forcing
2025-07-01	Our Summer Research Associates in 2025
2025-06-10	How to prove equations using diagrams, Part 2
2025-05-29	Growing the Topos tech team
2025-05-27	How to prove equations using diagrams, Part 1
2025-05-09	The Sun is Good
2025-05-08	Inaugural TopOx seminar
2025-05-07	The three functions of a name: reference, identity and display
2025-05-01	Graded categories as double functors
2025-04-30	Wiring Euclid for manufacturing
2025-04-29	Care at the Edge of Automation
2025-04-04	Distilling Research at Scale
2025-03-11	A Category Theory-Inspired BBN
2025-02-27	Towards codified context, durable documentation, and process preservation
2025-02-05	CatColab 0.2: Wren
2024-12-10	Polynomial universes and natural models
2024-11-13	Structure-aware version control via observational bridge types
2024-11-12	Call for 2025 Summer Research Associates
2024-11-08	Neural wiring diagrams for message passing in multiscale organizations
2024-10-31	Declarative Models and Collaborative Modeling
2024-10-11	Taking nonlogical concepts seriously
2024-10-02	Introducing CatColab
2024-09-06	Open curricula and assessment tools workshop in Kisumu
2024-08-30	Postdoc job openings in Topos Oxford, UK
2024-08-27	Plausible fiction
2024-08-19	Wiring diagrams for Mealy machines
2024-08-12	A polynomial account of Bayesian update
2024-08-02	Rethink math talks
2024-07-29	Our Summer Research Associates in 2024
2024-07-09	How to write a fantastic book in four months, Part III
2024-07-04	How to write a fantastic book in four months, Part II
2024-06-28	How to write a fantastic book in four months, Part I
2024-06-24	Toward compact double categories: Part 2
2024-06-20	Toward compact double categories: Part 1
2024-06-03	Applied Category Theory for Engineering Design: A Teaser Video
2024-05-28	Launching new collaboration with Chapman University
2024-04-25	Ontological Commitments for Boundaries
2024-04-05	Understanding UMAP
2024-03-27	Poly @ Work 2024
2024-03-13	A Retrospective on the Oxford–Topos Meeting
2024-02-02	SCAI — AI for the Global Good
2024-01-29	Algebras are promonads
2024-01-18	Composing springs
2024-01-15	Why double categories? Part 1
2024-01-09	Building dynamic structures
2024-01-03	Poly-morphic effect handlers
2023-12-14	Responsible mathematics and metaphors of semantics
2023-12-05	Trustworthy Reification
2023-11-28	Categorical Statistics in Julia
2023-11-23	Mathematics for climate change
2023-11-17	Topos researchers win Best Paper Award at AAAI Fall Symposium 2023
2023-11-14	Introducing InterTypes
2023-11-13	Solving problem-solving
2023-10-26	Lie groups induce Hopf monoids in Poly
2023-10-20	Retrotransformations
2023-10-13	Cartesian double theories
2023-10-09	Our Summer Research Associates in 2023
2023-09-21	Powers of polynomial monads
2023-08-15	Unbiased monoidal categories are pseudo-elements
2023-07-21	A nuclear adjunction between Poly and Dir
2023-07-11	Dialogue on a mathematical approach to the good
2023-07-07	Agent-based modeling via graph rewriting
2023-06-22	Welcoming our new Director of Research, Shaowei Lin
2023-06-20	Acsets with variables
2023-06-17	Singular Learning Theory and Alignment Summit 2023
2023-06-15	Towards a Research Program on Compositional World-Modeling
2023-05-26	Natural transformations between cofunctors
2023-05-12	Categories for Epidemiology
2023-05-08	Symbolic presentations of dynamical systems
2023-04-24	Spooling out syntax from behavior
2023-04-11	Conegation rewriting
2023-04-05	Imperative Programming with Poly
2023-03-29	Seventy Years Using Fixed Points
2023-03-23	Algebraic geometry for the working programmer
2023-03-23	Lotteries: a constructive version of the distributions monad
2023-03-15	Structured cospans as a cocartesian equipment
2023-03-09	Category theorists welcome self-learners in a new outreach panel
2023-03-06	Women in Logic: the history so far
2023-02-22	What made the FRA workshop structure successful?
2023-02-09	Ask Eugenia Cheng about Category Theory!
2023-01-31	Promonoidal categories and wiring diagrams
2023-01-10	Recursive Types via Domain Theory
2023-01-05	Preparing for Networked Mathematics
2022-12-20	Lenses are semi-monads, maybe lenses are monads
2022-12-12	Research opportunities at Topos in early 2023
2022-12-06	Dialectica Categories in Computing
2022-11-23	Scott’s model of lambda calculus
2022-11-19	Statement on Topos and the FTX Foundation
2022-11-16	Mathematical concepts: how do you recognize them?
2022-11-07	Where matter and pattern meet
2022-11-04	Who is category theory for?
2022-10-28	When you light up, I light up
2022-10-24	Project cards: a tool for research transparency
2022-10-14	JMM Workshop on ACT for teaching and learning
2022-10-09	In celebration of Dana Scott
2022-10-07	Ethics, Technology, and Embracing the 21st Century
2022-10-04	So, what is category theory anyway?
2022-09-29	Nate & Jesse’s adjoint 5-tuple
2022-09-20	Using categorical logic for AI planning
2022-09-12	A dynamic monoidal category for strategic games
2022-09-06	Data Operations are Functorial Semantics
2022-09-01	What does it take to run a research nonprofit?
2022-08-24	Strategies for ethically oriented pursuit of research and technology
2022-08-19	Imagining Bicomodules with Type Theory
2022-08-10	Computation and Category Theory
2022-08-04	It’s Proly like Poly but better
2022-07-14	Our Summer Research Associates in 2022
2022-07-12	Dialectica categories and polynomial functors, Part 1
2022-07-07	A 15-year history of my research program, in 10 minutes
2022-06-16	Graphs in Poly
2022-06-07	All models are wrong, but…
2022-06-03	An account of sense-making
2022-05-30	Decorated cospans via the Grothendieck construction
2022-05-23	Grothendieck construction for double categories
2022-05-20	Join Topos as a senior leader in finance and operations!
2022-05-18	The “artificial” distinction
2022-04-18	The many facets of Networked Mathematics
2022-04-15	Diagrammatic equations and multiphysics, Part 2
2022-04-08	Diagrammatic equations and multiphysics, Part 1
2022-04-06	Co-design of dynamical systems
2022-03-29	2022 Workshop on Polynomial Functors
2022-03-25	Creating mathematics
2022-03-22	Brits in Berkeley
2022-03-17	Launch of the Women in Logic website
2022-03-15	So, what’s the plan?
2022-03-01	Call for 2022 Summer Research Associates
2022-02-21	Topos seeks Research Software Engineer
2022-02-15	Playing with Shapes at Topos
2022-01-19	Poly makes me happy and smart
2022-01-07	Topos Institute seminars in 2022
2021-12-30	Creating new categories from old: Selection categories
2021-12-02	Topos in 2021: a retrospective
2021-11-24	Left adjoints, lenses, and localisation
2021-11-05	Deep neural networks as nested dynamical systems
2021-11-04	Categorical systems theory
2021-10-08	We’re looking for a postdoc!
2021-09-22	Poly inside Poly
2021-09-09	Compositional Thermostatics
2021-09-02	Enriched categories as dynamical systems
2021-08-24	Announcing Em-Cats
2021-07-25	Dirichlet polynomials and entropy
2021-07-19	Get to know our Summer Research Associates
2021-07-11	Introducing the MathFoldr Project
2021-07-08	Seminars and workshops so far
2021-07-01	Jump monads: from conjugation to dependent types
2021-06-30	Welcome to the Topos Blog