Blogs (28) >>
ECOOP 2016
Sun 17 - Fri 22 July 2016 Rome, Italy
Mon 18 Jul 2016 11:10 - 11:40 at Saba - Session 1

I am a Researcher at Samsung Research America in Mountain View, California. Before that I was a Post Doctoral Fellow working with André Platzer in the Logical Systems Lab at Carnegie Mellon University. I received my Ph.D. in Computer Science from Cornell University in 2013, where I was advised by Dexter Kozen. I also received a Master of Engineering in Computer Science from Cornell University in 2008, and a Diplôme d’Ingénieur from École polytechnique in 2007.

Mon 18 Jul

VORTEX-2016
10:05 - 12:25: VORTEX - Session 1 at Saba
VORTEX-201610:05 - 10:10
Day opening
Davide AnconaUniversity of Genova, Frank S. de BoerCentrum Wiskunde & Informatica, Leiden University
VORTEX-201610:10 - 10:40
Gerardo SchneiderUniversity of Gothenburg
VORTEX-201610:40 - 11:10
Martin LeuckerUniversity of Lübeck
VORTEX-201611:10 - 11:40
Jean-Baptiste JeanninCarnegie Mellon University