I am a PhD candidate at Caltech/CDS, advised by Prof. 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
- games of infinite duration
Promela: a multi-paradigm language for expressing reactive synthesis problems, with a compiler to temporal logic.
promela: parser and AST, using PLY
tulip: control of dynamical systems from temporal logic specs (contributor and maintainer)
pydot: Python interface to
nfsim: toolbox for motion planning using navigation functions and diffeomorphisms.