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
- Logics and semantics of programming languages
- Programming with coinductive types
- Verification of cyber-physical systems
Publications
- NetKAT: Semantic foundations for networks. Carolyn Jane Anderson, Nate Foster, Arjun Guha, Jean-Baptiste Jeannin, Dexter Kozen, Cole Schlesinger, and David Walker. In Proc. 41st ACM SIGPLAN-SIGACT Symp. Principles of Programming Languages (POPL'14), pages 113-126, San Diego, California, USA, January 2014. ACM. [full text (.pdf)] [BibTeX]
- Well-founded coalgebras, revisited. Jean-Baptiste Jeannin, Dexter Kozen, and Alexandra Silva. Technical Report http://hdl.handle.net/1813/33330, Computing and Information Science, Cornell University, May 2013. Under submission. [full text (.pdf)] [BibTeX]
- Language constructs for non-well-founded computation. Jean-Baptiste Jeannin, Dexter Kozen, and Alexandra Silva. Matthias Felleisen and Philippa Gardner, editors, 22nd European Symposium on Programming (ESOP 2013), LNCS 7792, pp. 61-80. Springer, Heidelberg (2013). [full text (.pdf)] [BibTeX]
- DKAL*: Constructing Executable Specifications of Authorization Protocols. Jean-Baptiste Jeannin, Guido de Caso, Juan Chen, Yuri Gurevich, Prasad Naldurg and Nikhil Swamy. In International Symposium on Engineering Secure Software and Systems (ESSoS 2013), February 2013. [full text (.pdf)] [page at Microsoft Research] [BibTeX]
- Computing with Capsules. Jean-Baptiste Jeannin and Dexter Kozen. Journal of Automata, Languages and Combinatorics (JALC), 17(2-4):185-204, 2012. [full text (.pdf)] [BibTeX]
- CoCaml: Programming with coinductive types. Jean-Baptiste Jeannin, Dexter Kozen, and Alexandra Silva. Technical Report http://hdl.handle.net/1813/30798, Computing and Information Science, Cornell University, December 2012. [full text (.pdf)] [BibTeX]
- Computing with Capsules. Jean-Baptiste Jeannin and Dexter Kozen. In Martin Kutrib, Nelma Moreira, and Rogério Reis, editors, Proc. Conf. Descriptional Complexity of Formal Systems (DCFS 2012), volume 7386 of Lecture Notes in Computer Science, pages 1-19, Braga, Portugal, July 2012. Springer. (Subsumed by Jean-Baptiste Jeannin and Dexter Kozen. Computing with capsules. J. Automata, Languages and Combinatorics, 17(2-4):185-204, 2012.) [BibTeX]
- Capsules and Separation. Jean-Baptiste Jeannin and Dexter Kozen.In Nachum Dershowitz, editor, Proc. 27th ACM/IEEE Symp. Logic in Computer Science (LICS 2012), pages 425-430, Dubrovnik, Croatia, June 2012. IEEE. [full text (.pdf)] [BibTeX]
- Capsules and Closures: a Small-Step Approach. Jean-Baptiste Jeannin. In Robert L. Constable and Alexandra Silva, editors, Logic and Program Semantics, Essays Dedicated to Dexter Kozen on the Occasion of his 60th Birthday. [full text (.pdf)] [BibTeX]
- 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]
- 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]
Projects
- Capsules
- CoCaml
Teaching
I have been a teaching assistant for:- CS 3110 Data Structures and Functional Programming in Spring 2009
- CS 6110 Advanced Programming Languages in Spring 2010
- CS 6780 Advanced Machine Learning in Fall 2010
- CS 6110 Advanced Programming Languages in Spring 2011