# Sophie Libkind

I am currently a math PhD student at Stanford University advised by Gunnar Carlsson and Jan Vondrak. I am also a Research Associate at the Topos Institute.

I study computation and composition in dynamical systems.
Here is a short video introduction to my current research - [video].

### Places

- 2021 - present: Research Associate at Topos Institute
- 2018 - present: 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

### Writing

#### Publications

- 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]

#### Preprints

- An Algebra of Resource Sharing Machines. (2020) - [paper]

#### Blog Posts

- 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]

### Talking

- 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)

### Programming

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

Email me at < first initial>< last name>`at`stanford.edu