I am a Postdoctoral Scholar in Caltech/CMS working with Professor Richard Murray. I graduated in December 2017 with a PhD from Caltech/CDS, where I was advised by Professor Richard Murray. In the summers of 2013 and 2014 I interned at NASA/JPL/LaRS, working with Dr. Gerard Holzmann.
My public key.
- distributed systems
- formal specification methods
- algorithmic game theory
dd: Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy.
omega: Specify and synthesize systems using symbolic algorithms.
Promela: Synthesis of discrete dynamical systems from multi-paradigm specifications.
tulip: Control of dynamical systems from temporal logic specifications (a contributor and maintainer).
nfsim: A toolbox for motion planning using navigation functions and diffeomorphisms.