Sophie Libkind

I am currently a postdoctoral researcher at the Topos Institute.

In my PhD, I studied computation and composition in dynamical systems. Here is a short video introduction to my PhD research - [video].

2023 - present: Postdoctoral Researcher at Topos Institute
2021 - 2023: Research Associate at Topos Institute
2018 - 2023: PhD candidate in the Department of Mathematics at Stanford University
2015 - 2018: Computer Science and Math teacher at the Girls' Middle School
2014 - 2015: Part III Masters student in the Department of Mathematics at University of Cambridge
2010 - 2014: Math and Computer Science major at Swarthmore College

Pattern Runs on Matter: The Free Monad Monad as a Module over the Cofree Comonad Comonad. (2024) - [paper]
An Algebraic Framework for Structured Epidemic Modeling. (2022) - [paper]
Compositional Modeling with Stock and Flow Diagrams. (2022, forthcoming) - [paper]
Operadic Modeling of Dynamical Systems: Mathematics and Computation. (2021) - [paper]
Control Improvisation with Application to Music. (2013) - [paper]

Ontological Commitments for Boundaries - [post]
When you light up, I light up: A dynamical monoidal category of Hebbian learners. with David Spivak - [post]
Composing Open Dynamical Systems. with James Fairbanks - [post 1] and [post 2]
Graphical regular logic. with David Jaz Myers - [post]

Computation in continuous dynamics. Topos Institute Berkeley Seminar (2023) - [video]
Additive invariants of open Petri nets. 6th International Conference on Applied Category Theory (2023) - [video]
Typed and stratified models with slice categories. 5th International Conference on Applied Category Theory (2022) - [video]
Happy Birthday AlgebraicDynamics! Topos Institute Berkeley Seminar (2022) - [video]
Operadic modeling of dynamical systems: Mathematics and computation. 4th International Conference on Applied Category Theory (2021) - [video][slides]
AlgebraicDynamics: Compositional dynamical systems. JuliaCon (2021) - [video]
A syntax and semantics for composing dynamical systems. Stanford Kiddie (2021) - [video]
Implementing open dynamical systems in Catlab. UNAM Categories Seminar (2020) - [video]
Unifying open dynamical systems: An algebra of resource sharing machines MIT Category Theory Seminar. (2020) - [video]
No, It's Not an Elective! 17 Years of Teaching Computer Science as a Required Class. The 2016 Global Forum on Girls’ Education (2016)

AlgebraicDynamics, a Julia package for composing open dynamical systems - [GitHub]

Email me at < first name>`at`topos.institute