Jean-Baptiste Jeannin

jeannin [at]
cs.cornell.edu

Department of Computer Science
Cornell University
4142 Upson Hall
Ithaca, NY 14850
USA

I am a fourth year PhD student in the department of Computer Science at Cornell University. I received a Diplôme d'Ingénieur from École polytechnique in 2007 and a Master of Engineering in Computer Science from Cornell University in 2008.

Research Interests

I am currently working on the semantics of programming languages with Dexter Kozen. I am also interested in logics and theorem proving.

Publications

• DKAL*: Constructing Executable Specifications of Authorization Protocols. Jean-Baptiste Jeannin, Guido de Caso, Juan Chen, Yuri Gurevich, Prasad Naldurg and Nikhil Swamy. Technical Report MSR-TR-2012-24, Microsoft Research, March 2012. [full text (.pdf)] [page at Microsoft Research] [BibTex]

• Capsules and Separation. Jean-Baptiste Jeannin and Dexter Kozen. Technical Report http://hdl.handle.net/1813/28284, Computing and Information Science, Cornell University, January 2012. [full text (.pdf)] [BibTeX]

• Capsules and Closures: a Small-Step Approach. Jean-Baptiste Jeannin. In submission. [full text (.pdf)]

• Capsules and Closures. Jean-Baptiste Jeannin. In Michael Mislove and Joël Ouaknine, editors, Proc. 27th Conf. Math. Found. Programming Semantics (MFPS XXVII), pages 191-213, Pittsburgh, PA, May 2011. Elsevier Electronic Notes in Theoretical Computer Science. [full text (.pdf)] [BibTeX]

• Computing with Capsules. Jean-Baptiste Jeannin and Dexter Kozen. Technical Report http://hdl.handle.net/1813/22082, Computing and Information Science, Cornell University, January 2011. [full text (.pdf)] [BibTeX]

• Formal Verification of Safety Buffers for State-Based Conflict Detection and Resolution. Heber Herencia-Zapana, Jean-Baptiste Jeannin, César Muñoz. Proceedings of the of 27th International Congress of the Aeronautical Sciences (ICAS 2010), 2010. [full text (.pdf)] [BibTeX]

Teaching

• CS 3110 Data Structures and Functional Programming in Spring 2009

• CS 6780 Advanced Machine Learning in Fall 2010

• CS 6110 Advanced Programming Languages in Spring 2011