Sciences du logiciel

Sciences du logiciel

Xavier Leroy

Share Podcast:
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 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
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