There are 3 Results with the keyword : "Gilles Dowek"
DEDUCTEAM joined the Inria Saclay – Île-de-France Research Centre on 1 January 2016. The team, which is going through some major changes, works on proof systems and deduction. Interview of Gilles Dowek, leader of DEDUCTEAM, at ENS Cachan.
The subject Computer and Digital Sciences will become part of the French high-school system’s scientific program this coming September! For this purpose, Gilles Dowek has created the first digital school book dedicated to teaching this subject!
- Computer and Digital Sciences
- School book
- Gerard Berry
- Gilles Dowek
- Inria Lille - Nord Europe Research Centre
As part of La Science se Livre, an event aimed at promoting scientific culture, the Hauts-de-Seine department has given an award to two Inria researchers, Gilles Dowek and Serge Abiteboul, from the Deducteam (Saclay - Île-de-France Centre) and Valda (Paris centre) teams respectively, for their book entitled Le Temps des algorithmes .