hubhopper

Sciences du logiciel

Sciences du logiciel

Xavier Leroy

Share:
copy link
Share:
Xavier Leroy a étudié les mathématiques puis l'informatique à l'École Normale Supérieure et à l'Université Paris Diderot. Après un doctorat en informatique fondamentale en 1992 et un postdoctorat à l'Université Stanford, il devient chargé de recherche à l'Inria en 1994, puis directeur de recherche en 2000. Il y a dirige aujourd’hui l'équipe de recherche GALLIUM. De 1999 à 2004, il participe à la start-up Trusted Logic. Il est nommé Professeur au ...Read More
Xavier Leroy a étudié les mathématiques puis l'informatique à l'École Normale Supérieure e...Read More

You may also like

Sciences des do...

Stéphane Mallat

Informatique et...

Bernard Chazell...

Santé Publique ...

Arnaud Fontanet

Histoire des po...

Patrick Boucher...

Algorithmes, ma...

Gérard Berry

Développement d...

Gilles Boeuf

Anthropologie d...

Philippe Descol...

Innovation tech...

Philippe Walter

Innovation tech...

Philippe Walter

Physique de la ...

Antoine Georges

Littératures de...

Michel Zink

Paléoanthropolo...

Jean-Jacques Hu...

Religion, histo...

Vinciane Pirenn...

Savoirs contre ...

François Bourgu...

Chimie des proc...

Marc Fontecave

You may also like

Sciences des données

Informatique et scie...

Santé Publique 2018-...

Histoire des pouvoir...

Algorithmes, machine...

Développement durabl...

Anthropologie de la ...

Innovation technolog...

Innovation technolog...

Physique de la matiè...

Littératures de la F...

Paléoanthropologie d...

Religion, histoire e...

Savoirs contre pauvr...

Chimie des processus...

Episodes (39)
Newest to Oldest
Sort Episodes:

08 - Sémantiques mécanisé...

26 Feb 2020 | 01 hr 11 mins 02 secs

08 - Sémantiques méc...

26 Feb 2020 | 01 hr 11 mins 02 secs

08 - Sémantiques mécanisé...

26 Feb 2020 | 01 hr 11 mins 02 secs

08 - Sémantiques méc...

26 Feb 2020 | 01 hr 11 mins 02 secs

07 - Sémantiques mécanisé...

12 Feb 2020 | 01 hr 25 mins 41 secs

07 - Sémantiques méc...

12 Feb 2020 | 01 hr 25 mins 41 secs

06 - Sémantiques mécanisé...

05 Feb 2020 | 01 hr 16 mins 42 secs

06 - Sémantiques méc...

05 Feb 2020 | 01 hr 16 mins 42 secs

06 - Sémantiques mécanisé...

05 Feb 2020 | 01 hr 16 mins 42 secs

06 - Sémantiques méc...

05 Feb 2020 | 01 hr 16 mins 42 secs

05 - Sémantiques mécanisé...

18 Jan 2020 | 01 hr 20 mins 18 secs

05 - Sémantiques méc...

18 Jan 2020 | 01 hr 20 mins 18 secs

05 - Sémantiques mécanisé...

18 Jan 2020 | 01 hr 20 mins 18 secs

05 - Sémantiques méc...

18 Jan 2020 | 01 hr 20 mins 18 secs

04 - Sémantiques mécanisé...

15 Jan 2020 | 01 hr 57 mins 58 secs

04 - Sémantiques méc...

15 Jan 2020 | 01 hr 57 mins 58 secs

04 - Sémantiques mécanisé...

15 Jan 2020 | 01 hr 57 mins 58 secs

04 - Sémantiques méc...

15 Jan 2020 | 01 hr 57 mins 58 secs

03 - Sémantiques mécanisé...

21 Dec 2019 | 01 hr 22 mins 36 secs

03 - Sémantiques méc...

21 Dec 2019 | 01 hr 22 mins 36 secs

03 - Sémantiques mécanisé...

21 Dec 2019 | 01 hr 22 mins 36 secs

03 - Sémantiques méc...

21 Dec 2019 | 01 hr 22 mins 36 secs

02 - Sémantiques mécanisé...

13 Dec 2019 | 01 hr 20 mins 43 secs

02 - Sémantiques méc...

13 Dec 2019 | 01 hr 20 mins 43 secs

02 - Sémantiques mécanisé...

13 Dec 2019 | 01 hr 20 mins 43 secs

02 - Sémantiques méc...

13 Dec 2019 | 01 hr 20 mins 43 secs

01 - Sémantiques mécanisé...

10 Dec 2019 | 01 hr 49 mins 12 secs

01 - Sémantiques méc...

10 Dec 2019 | 01 hr 49 mins 12 secs

01 - Sémantiques mécanisé...

10 Dec 2019 | 01 hr 49 mins 12 secs

01 - Sémantiques méc...

10 Dec 2019 | 01 hr 49 mins 12 secs

 

hubhopper