Pawel Mlynarski Microsoft Research - Inria Joint Centre
Nikhil Swamy Microsoft Research - Redmond
Matthieu Armando Microsoft Research - Inria Joint Centre