![Jean-Jacques LEVY | National Institute for Research in Computer Science and Control, Le Chesnay | INRIA | PI.R2 - Design, Study and Implementation of Languages for Proofs and Programs Research Team | Research profile Jean-Jacques LEVY | National Institute for Research in Computer Science and Control, Le Chesnay | INRIA | PI.R2 - Design, Study and Implementation of Languages for Proofs and Programs Research Team | Research profile](https://i1.rgstatic.net/ii/profile.image/279513322803210-1443652577683_Q512/Jean-Jacques-Levy.jpg)
Jean-Jacques LEVY | National Institute for Research in Computer Science and Control, Le Chesnay | INRIA | PI.R2 - Design, Study and Implementation of Languages for Proofs and Programs Research Team | Research profile
Xavier Leroy on LinkedIn: Deeply honored to have been elected a member of Académie des sciences!… | 32 comments
![Introduction to the Theory of Programming Languages : Dowek, Gilles, Lévy, Jean-Jacques: Amazon.it: Libri Introduction to the Theory of Programming Languages : Dowek, Gilles, Lévy, Jean-Jacques: Amazon.it: Libri](https://m.media-amazon.com/images/I/61wlA--kk3L._AC_UF1000,1000_QL80_.jpg)
Introduction to the Theory of Programming Languages : Dowek, Gilles, Lévy, Jean-Jacques: Amazon.it: Libri
![Associated Press Photographer Jean-Jacques Levy of the Paris Bureau, takes careful note of the name of Indian delegate Sir Khizar Hayat at the Paris Peace Conference, August 7, 1946. (AP Photo/Levy Stock Associated Press Photographer Jean-Jacques Levy of the Paris Bureau, takes careful note of the name of Indian delegate Sir Khizar Hayat at the Paris Peace Conference, August 7, 1946. (AP Photo/Levy Stock](https://c8.alamy.com/comp/2NDXHD8/associated-press-photographer-jean-jacques-levy-of-the-paris-bureau-takes-careful-note-of-the-name-of-indian-delegate-sir-khizar-hayat-at-the-paris-peace-conference-august-7-1946-ap-photolevy-2NDXHD8.jpg)
Associated Press Photographer Jean-Jacques Levy of the Paris Bureau, takes careful note of the name of Indian delegate Sir Khizar Hayat at the Paris Peace Conference, August 7, 1946. (AP Photo/Levy Stock
![fotografía * jean-jacques levy : testigo d - Buy Used books about design and photography on todocoleccion fotografía * jean-jacques levy : testigo d - Buy Used books about design and photography on todocoleccion](https://cloud10.todocoleccion.online/libros-segunda-mano-diseno-fotografia/tc/2018/09/13/09/133186778.jpg)
fotografía * jean-jacques levy : testigo d - Buy Used books about design and photography on todocoleccion
![Paris staff photographer Jean-Jacques Levy on assignment in Khan Yunis in the Gaza strip, Dec. 3, 1956. (AP Photo Stock Photo - Alamy Paris staff photographer Jean-Jacques Levy on assignment in Khan Yunis in the Gaza strip, Dec. 3, 1956. (AP Photo Stock Photo - Alamy](https://c8.alamy.com/comp/2NDXHC1/paris-staff-photographer-jean-jacques-levy-on-assignment-in-khan-yunis-in-the-gaza-strip-dec-3-1956-ap-photo-2NDXHC1.jpg)
Paris staff photographer Jean-Jacques Levy on assignment in Khan Yunis in the Gaza strip, Dec. 3, 1956. (AP Photo Stock Photo - Alamy
![Jean-Jacques Levy, director of the joint INRIA-Microsoft research... Foto di attualità - Getty Images Jean-Jacques Levy, director of the joint INRIA-Microsoft research... Foto di attualità - Getty Images](https://media.gettyimages.com/id/72977426/it/foto/gif-sur-yvette-france-jean-jacques-levy-director-of-the-joint-inria-microsoft-research-center.jpg?s=612x612&w=gi&k=20&c=v99HxwCax2zVcgLqmrB3-Rg-SA0m_wsxc7sUDJ8PVCc=)