Inria visit

Gunnar Sigurdsson (PhD student, CMU) will be spending 4 months at Inria Grenoble (Aug – Nov).