jean-jacques lévy september 26, 2012
DESCRIPTION
Jean-Jacques Lévy September 26, 2012. the MSR-INRIA Joint Centre. 2006-2012. msr-inria.inria.fr. Gérard Giraudon. Marc Jalabert. INRIA. MSR Cambridge. Joint Centre. Bernard Ourghanlian. Claude Puech. Politics. Eric Boustouller. Gérard Huet. Stephen Emmott Ken Wood - PowerPoint PPT PresentationTRANSCRIPT
![Page 1: Jean-Jacques Lévy September 26, 2012](https://reader036.vdocuments.site/reader036/viewer/2022062305/56815455550346895dc26f7e/html5/thumbnails/1.jpg)
Jean-Jacques LévySeptember 26, 2012
the MSR-INRIA Joint Centre
msr-inria.inria.fr
2006-2012
![Page 2: Jean-Jacques Lévy September 26, 2012](https://reader036.vdocuments.site/reader036/viewer/2022062305/56815455550346895dc26f7e/html5/thumbnails/2.jpg)
Politics
INRIA MSR Cambridge
Joint Centre
Gérard Huet
Gérard Giraudon
Claude Puech
Eric Boustouller
Stephen EmmottKen Wood
Gérard Giraudon Jean Vuillemin
Bernard Ourghanlian
Marc Jalabert
![Page 3: Jean-Jacques Lévy September 26, 2012](https://reader036.vdocuments.site/reader036/viewer/2022062305/56815455550346895dc26f7e/html5/thumbnails/3.jpg)
Politics
INRIA MSR Cambridge
Joint Centre
Gérard Giraudon
Michel Bidoit
Eric BoustoullerGérard Huet
Jean Vuillemin
Stephen EmmottKen Wood
Malik Ghallab Claude Puech
Bernard Ourghanlian
Marc Jalabert
J.-J. Lévy
![Page 4: Jean-Jacques Lévy September 26, 2012](https://reader036.vdocuments.site/reader036/viewer/2022062305/56815455550346895dc26f7e/html5/thumbnails/4.jpg)
Politics
INRIA MSR Cambridge
Joint Centre
J.-J. Lévy
Nozha Boujemaa
Bruno Sportisse
Michel BidoitEric BoustoullerStephen EmmottGérard Giraudon
Gérard HuetMarc JalabertJean Vuillemin
Ken Wood
Andrew BlakeFabrizio Gagliardi
Malik GhallabClaude Puech
Bernard OurghanlianThomas Serval
![Page 5: Jean-Jacques Lévy September 26, 2012](https://reader036.vdocuments.site/reader036/viewer/2022062305/56815455550346895dc26f7e/html5/thumbnails/5.jpg)
Politics
INRIA MSR Cambridge
Joint Centre
J.-J. Lévy
Nozha Boujemaa
Bruno Sportisse
Michel BidoitEric BoustoullerStephen Emmott
Malik GhallabGérard Giraudon
Gérard HuetMarc Jalabert
Thomas ServalJean Vuillemin
Ken Wood
Andrew BlakeFabrizio GagliardiClaude KirchnerPascal Guitton
Bernard OurghanlianJean Ferré
Andrew Blake
![Page 6: Jean-Jacques Lévy September 26, 2012](https://reader036.vdocuments.site/reader036/viewer/2022062305/56815455550346895dc26f7e/html5/thumbnails/6.jpg)
Politics
INRIA MSR Cambridge
Joint Centre
Laurent Massoulié
Nozha Boujemaa
Michel BidoitEric BoustoullerStephen Emmott
Malik GhallabGérard Giraudon
Gérard HuetMarc Jalabert
J.-J. LévyThomas ServalBruno SportisseJean Vuillemin
Ken Wood
Andrew BlakeFabrizio GagliardiClaude KirchnerPascal Guitton
Bernard OurghanlianJean Ferré
Andrew Blake
![Page 7: Jean-Jacques Lévy September 26, 2012](https://reader036.vdocuments.site/reader036/viewer/2022062305/56815455550346895dc26f7e/html5/thumbnails/7.jpg)
Management
– Francois Lhémery
– Luc Grateau
– Martine Thirion
– Faranak Grangé
– Pierre-Louis Xech
– Guillaume Rousse
– Inria Saclay
– MS France
![Page 8: Jean-Jacques Lévy September 26, 2012](https://reader036.vdocuments.site/reader036/viewer/2022062305/56815455550346895dc26f7e/html5/thumbnails/8.jpg)
Projects
1. Track A (truthworthy computing)– Math. Components (2006)
– Security (2006)
– TLA+ (2006)
2. Track B (interaction with scientific data)– DDMF (2007)
– ReActivity (2008-2010)
– Adaptative search (2008)
– Image & video mining (2010)
– 4D Cardiac images (2012)
3. Track C (cloud computing)– A-brain (2011)
![Page 9: Jean-Jacques Lévy September 26, 2012](https://reader036.vdocuments.site/reader036/viewer/2022062305/56815455550346895dc26f7e/html5/thumbnails/9.jpg)
Victory dance of professor Avigad (CMU)
Feit-Thompson success
collective effort MSR-Inria and others
![Page 10: Jean-Jacques Lévy September 26, 2012](https://reader036.vdocuments.site/reader036/viewer/2022062305/56815455550346895dc26f7e/html5/thumbnails/10.jpg)
My view of research
fundamental applicative
practice
theory
![Page 11: Jean-Jacques Lévy September 26, 2012](https://reader036.vdocuments.site/reader036/viewer/2022062305/56815455550346895dc26f7e/html5/thumbnails/11.jpg)
People– 25-30 phd’s (5-10 self funded) + 40 postdocs
– Inria: 6 CR2 (Chaudury, Corin, Mahboubi, Melquiond, Rezk, Tassi) + 2 CR1 (Bhargavan, Hansen)
– 1 hired at MSRR (Henry)
– 4 ERC grants (Ponce, Bhargavan, Ayache, Laptev)
Pubs– upto 10% of POPL papers (2009) + pl (ICFP, ESOP) + logic confs (ITP, TPHOL)
– invasion of security conferences (CSF, CCS, TGC)
– top at ISSAC
– vision ++
– AI conferences
Software– ssreflect 1.4
– tlaps 1.0
– ddmf 1.7
![Page 12: Jean-Jacques Lévy September 26, 2012](https://reader036.vdocuments.site/reader036/viewer/2022062305/56815455550346895dc26f7e/html5/thumbnails/12.jpg)
People
– 25-30 phd’s (5-10 self funded)
– 40 postdocs
– 5 hired at Inria + Karthik
– 1 hired at MSR
![Page 13: Jean-Jacques Lévy September 26, 2012](https://reader036.vdocuments.site/reader036/viewer/2022062305/56815455550346895dc26f7e/html5/thumbnails/13.jpg)
![Page 14: Jean-Jacques Lévy September 26, 2012](https://reader036.vdocuments.site/reader036/viewer/2022062305/56815455550346895dc26f7e/html5/thumbnails/14.jpg)
Future in 2007
– 30 resident researchers
– tight links with French academia (phD, post-doc)
– develop useful research for scientific community
– provide public tools (BSD-like license)
– become a new and attractive pole in CS research
– and source of spin off companies
![Page 15: Jean-Jacques Lévy September 26, 2012](https://reader036.vdocuments.site/reader036/viewer/2022062305/56815455550346895dc26f7e/html5/thumbnails/15.jpg)
Viva el new Directeur !
Un grand merci à tous !
![Page 16: Jean-Jacques Lévy September 26, 2012](https://reader036.vdocuments.site/reader036/viewer/2022062305/56815455550346895dc26f7e/html5/thumbnails/16.jpg)