Projects
Bayesian Safe Set Inference
Given a parameterized system for which only a subset of the parameter space is “safe” for testing, we compute the element of the safe set, S, which maximizes the expected value of a probabilistic worst-case goodness metric at a point, p*, outside the safe set.
Integrated Model of Drosophila flight 
By aggregating low-order fluid models, an empirically derived basis set of flight control maneuvers, and high-speed video validation data, we generate a modular simulation of controlled flight dynamics for the fruit fly Drosophila melanogaster.
