
Ioannis Filippidis
California Institute of Technology
Active since 2012
http://www.caltech.edu/~ifilippi
Synthesis of distributed systems with formal guarantees of correctness.