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.
- distributed systems
- games of infinite duration
Promela: a multi-paradigm language for expressing reactive synthesis problems, with a compiler that interfaces to the GR(1) synthesizer
dd: Binary decision diagrams in pure Python (with reordering and a loader of CUDD output files)
omega: symbolic algorithms for manipulating omega-regular sets (as described, for example, by linear temporal logic)
promela: parser and AST, using PLY
nfsim: toolbox for motion planning using navigation functions and diffeomorphisms.