Here you can find a list of our current research projects. Each project is composed of multiple publications.
A graphical tool for the composition of physical systems, built on the discrete exterior calculus.
Compositional frameworks for optimization, model predictive control, and dynamical systems.
Sheaf-theoretic methods for structured decompositions and compositional algorithms.
Decapodes.jl is a graphical tool for the composition of physical systems. This library includes tooling which takes advantage of the formalization of physical theories described by DEC provided by CombinatorialSpaces.jl.
Links:
| Photo | Name | Member since | Degree | Program |
|---|---|---|---|---|
 | Luke Morris | 2021 | PhD | CISE |
 | Matt Cuffaro | 2023 | — | Research Software Engineer |
 | George Rauta | 2022 | PhD | CISE |
Project Leader: Kevin Carlson at the Topos Institute
Decapodes has been supported by the following DARPA programs:
Model predictive control (MPC) is an optimal control technique which involves solving a sequence of constrained optimization problems across a given time horizon. We present a novel Julia library that leverages our theoretical results to automate the implementation of correct-by-construction MPC problems in software.
| Photo | Name | Member since | Degree | Program |
|---|---|---|---|---|
 | Tyler Hanks | 2021 | PhD | CISE |
 | Samuel Cohen | 2024 | — | — |
 | Richard Samuelson | 2024 | PhD | — |
AlgebraicOptimization and Control has been supported by the following programs:
| Photo | Name | Member since | Degree | Program |
|---|---|---|---|---|
 | Benjamin Merlin Bumpus | 2022 | PhD | Research Assistant Professor |
 | Wilmer Leal | 2022 | PhD | Postdoctoral Fellow |
Computational sheaf theory has been supported by the DARPA program Automating Scientific Knowledge Extraction and Modeling.