## Ioannis Filippidis

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.

## Research interests

- distributed systems
- games of infinite duration

## Some packages

- open
`Promela`

: a multi-paradigm language for expressing reactive synthesis problems, with a compiler to temporal logic. `dd`

:`omega`

:- symbolic algorithms for solving games of infinite duration
- bitblaster (i.e., integer arithmetic -> propositional logic)
- bddizer (propositional logic -> BDDs)

`promela`

: parser and AST, using PLY`tulip`

: control of dynamical systems from temporal logic specs (contributor and maintainer)`pydot`

: Python interface to`graphviz`

(maintainer)`nfsim`

: toolbox for motion planning using navigation functions and diffeomorphisms.