Projects

Here you can find a list of our current research projects. Each project is composed of multiple publications.

Decapodes

A graphical tool for the composition of physical systems, built on the discrete exterior calculus.

Algebraic Dynamics, Optimization, and Control

Compositional frameworks for optimization, model predictive control, and dynamical systems.

Compositional Algorithms with Sheaves

Sheaf-theoretic methods for structured decompositions and compositional algorithms.