Sophie Libkind

I am currently a research scientist at the Topos Institute.

I co-lead the TA1.1 Theory technical area of ARIA's Safeguarded AI programme with David Jaz Myers. In this role, I coordinate the research and development of a mathematical framework for modeling, specification, and verification based on double operadic theory of systems.

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