Projects

Participatory city models that help residents, community groups, and policymakers reason about uncertain causes and policy consequences.

Tools for understanding and reasoning about complex, multi-agent, real-world dynamical systems using multimodal animal behavior data.

Modeling, Abstraction, and Reasoning Agents: systems that build and use world models through active experimentation and abstract reasoning.

A rational automated design agent for robotics, combining language models, simulation, probabilistic programming, and Bayesian inference.

ChiRho is an experimental language for causal reasoning and a causal extension to the Pyro probabilistic programming language.

Dynestyx is an extension of NumPyro for first-class support of dynamical systems, with a unified interface to structured inference methods for state-space models.

Effectful is an experimental Python library for metaprogramming with algebraic effects and handlers, and a core component of ChiRho.