Blogs (28) >>
ECOOP 2016
Sun 17 - Fri 22 July 2016 Rome, Italy
Jean-Baptiste Jeannin

Not registered as user yet

Name: Jean-Baptiste Jeannin

Bio: 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.

Affiliation: Carnegie Mellon University

Personal website:


JSTools 2016Author of Sound Type Inference for JavaScript within the JSTools-track
VORTEX 2016Author of Runtime Verification of Safe Advisories in the Next-Generation Airborne Collision Avoidance System within the VORTEX-track
Committee Member in Program Committee within the VORTEX-track
Show activities from other conferences

ECOOP 2016-profile
View general profile