Gilles Dowek, Vice président du département informatique et professeur informatique à l’Ecole polytechnique