Sophie Libkind
I am a math PhD student at Stanford University advised by Gunnar Carlsson and Jan Vondrak.
I study computation and composition in dynamical systems.
Places
- 2021 - present: Research Affiliate 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
Papers
- Operadic Modeling of Dynamical Systems: Mathematics and Computation. with A. Bass, E. Patterson, J. Fairbanks. Proceedings of the 4th Annual International Applied Category Theory Conference (forthcoming). (2021) - [paper]
- An Algebra of Resource Sharing Machines. Preprint. (2020) - [paper]
- Control Improvisation with Application to Music. International Computer Music Conference, with A. Donze, R. Valle, I. Akkaya, S. Seshia, D. Wessel. (2013) - [paper]
Blog Posts
- Composing Open Dynamical Systems, with James Fairbanks - [post 1] and [post 2]
- Graphical regular logic, with David Jaz Myers - [post]
Talking
- Operadic modeling of dynamical systems: Mathematics and computation. Applied Category Theory Conference (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 - [code]
Email me at < first initial>< last name>`at`stanford.edu