Jean-Baptiste Jeannin

Jean-Baptiste Jeannin

Researcher
Samsung Research America

Phone: +1 (607) 379-3001
Email: jb.jeannin [at] gmail.com

Research Publications Teaching

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.

Research Interests

Publications

Thesis

Projects

Teaching

I have been a teaching assistant for: