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