During my PhD studies at Caltech/CDS, 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.