I have graduated! You can find my new webpage here

Jean-Baptiste Jeannin

Jean-Baptiste Jeannin

Post Doctoral Fellow
Logical Systems Lab
Computer Science Departent
Carnegie Mellon University

Office: 9008 Gates-Hillman Center
Phone: +1 (607) 379-3001
Email: jeannin [at] cs.cmu.edu


Research Publications Teaching

I am a Post Doctoral Fellow working with André Platzer in the Logical Systems Lab at Carnegie Mellon University. I received a Diplôme d'Ingénieur from École polytechnique in 2007, a Master of Engineering in Computer Science from Cornell University in 2008, and a Ph.D. in Computer Science from Cornell University in 2013.

Research Interests

Publications

Projects

Teaching

I have been a teaching assistant for: