Academie pro
Profil enseignant
Pessaux François
987 consultations

M. Pessaux François
Docteur
École Nationale Supérieure de Techniques Avancées (ENSTA Paris)


Cours 7 Travaux dirigés 6 Travaux pratiques 0 Contrôle continu 0 Examen terminal 0


  • Cours

  • Publications

  • Expérience

  • Certifications

  • Diplomes

Matières : Algorithmique & Structures de Données

Algorithmique et programmation


Cours
Télécharger


Matières : Programmation C

cours1: Introduction


Cours
Télécharger

Cours2: Approfondissement des types de base de C


Cours
Télécharger

Cours3 : Les fonctions


Cours
Télécharger

Cours4: Les tableaux


Cours
Télécharger

Cours5: Organisation mémoire et pointeurs


Cours
Télécharger

Cours6: Tableaux dynamiques à plusieurs dimensions


Cours
Télécharger

TD 1 corrigé : le mécanisme de l'affichage, le concept de variables et leur type, les boucles while, les tests if-else


Td
Télécharger

TD 2 corrigé : comprendre la ligne de commande pour rentrer les paramétres, les tableaux et les boucles for.


Td
Télécharger

TD 3 corrigé : comprendre les fonctions et la programmation récursive.


Td
Télécharger

TD 4 corrigé : la manipulation de matrices


Td
Télécharger

TD 5 corrigé : programmer une bibliothéeque de gestion de nombre rationnels et ensuite l'utiliser pour calculer des racines carrées.


Td
Télécharger

TD 6 corrigé : Pile et calculatrice en langage c


Td
Télécharger


·    ML Dependency Analysis for Assessors (V. Benayoun, C. Dubois, F. Pessaux), SEFM2012 – Thessaloniki, septembre 2012.

·    Development of a generic voter under FoCaL (P. Ayrault, T. Hardin, F. Pessaux), TAP2009 – Zurich, juillet 2009.

·    Trusted Software within FoCaL (P. Ayrault, M. Carlier, D. Delahaye, C. Dubois, D. Doligez, L. Habib, T. Hardin, M. Jaume, C. Morisset, F. Pessaux, R. Rioboo, P. Weis), C&ESAR 2008 - Trusting Trusted Computing? – Rennes, décembre 2008.

·    Development life cycle of critical software under FoCaL (P. Ayrault et T. Hardin, F. Pessaux), dans 2nd International Workshop on Harnessing Theories for Tool Support in Software - TTSS'08 – Istambul, août 2008.

·    Type-based analysis of uncaught exceptions, POPL '99, janvier 1999, San Antonio. Cette publication est également disponible en version plus complète sous forme de rapport de recherche INRIA.

·    OCamlDoom: ML for 3D action games, Workshop ML, septembre 1998, Baltimore.

·    Ajout d'une conditionnelle dans un système de modules à la Caml, Journées Francophones des Langages Applicatifs (JFLA), janvier 1997, Dolomieux.

·         Octobre 2011 Enseignant / chercheur. ENSTA Paristech (Palaiseau).

·         Octobre 2010 – octobre 2011 Ingénieur de recherche. Société MLstate (Paris).

·         Juillet 2009 – octobre 2010 Ingénieur. Société KALRAY (Orsay) – Collaboration avec le CEA List.

·         Juin 2007 – juin 2009 Ingénieur de Recherche au LIP6 (Laboratoire d’Informatique de Paris 6).

·         Septembre 2001 – juin 2007 Ingénieur principal responsable du service de Recherche et Développement de la société SURLOG S.A. (anciennement Vélizy, désormais Fontenay aux Roses – Groupe SERMA)

·         Février 2000 – août 2001 Post-doctorat dans le département d'informatique (« Computer Science Department ») à l'université Stevens Institute of Technology (Hoboken, New Jersey, États-Unis) et aux laboratoires Bell (« Bell Laboratories - Lucent Technologies ») (Murray Hill, New Jersey, États-Unis).

 ·         Mars 1997 - janvier 2000 Thèse de doctorat en informatique à l'Institut National de Recherche en Informatique et Automatique (INRIA) de Rocquencourt (Yvelines - 78) au sein du projet Cristal.

            Détection statique d'exceptions non rattrapées en Objective Caml sous la direction M. Xavier LEROY (et sous la direction administrative de M. Christian QUEINNEC).

            Université Jussieu Paris 6.

            Soutenue le 16 décembre 1999 : Mention très honorable avec félicitations du jury.

·         1995 - 1996 DEA Sémantique, Preuves et Programmation.

            Université Jussieu Paris 6.

            Obtention du DEA à la session de juin, mention AB.

            Responsable : M. Guy COUSINEAU.

            Stage effectué à l'INRIA de Rocquencourt (projet Cristal) : Ajout de conditionnelles dans un système de modules à la Caml Special Light, sous la direction de Mr Xavier LEROY.

·         1994 - 1995 Maîtrise de Sciences et Techniques (2de année). «Expert en Systèmes Informatiques».

            Université Jussieu Paris 6.

            Obtention du diplôme de MST à la session de juin, mention B.

            Responsable : Mme Thérèse HARDIN.

            Stage optionnel effectué à l'INRIA de Rocquencourt (projet Cristal) : Amélioration du système CamlTk et mise à jour en vue de l'intégration des fonctionnalités de la nouvelle version de Tcl/Tk, sous la direction de MM. Xavier LEROY et François ROUAIX.

·         1993 - 1994 Maîtrise de Sciences et Techniques (1ère année).

            Université Jussieu Paris 6.

            Passage en seconde année obtenu à la session de juin, mention TB.

            Stage de Maîtrise de Sciences et Techniques effectué à l'INRIA de Rocquencourt : Conception d'un système d'interfaçage entre Caml Light et Tcl/Tk (Caml-Tk) pour permettre l'utilisation d'interfaces utilisateurs dans les programmes Caml Light, et réalisation d'un méta-compilateur, en Caml Light, servant à la génération automatique du source de ce système également en Caml Light, sous la direction de Mr François ROUAIX.

·         1991 - 1993 DUT d'Informatique.

            IUT d'Orsay Paris 11.

            Diplôme de DUT obtenu à la session de juin, mention AB.

            Stage effectué au Centre National de la Recherche Scientifique (CNRS) de l'école Polytechnique (Laboratoire de Météorologie Dynamique) : Conception d'un outil de configuration d'un réseau de type IP en C++ sous Turbo-Vision et PCTCP, sous la direction de M. Gilles LEFÈVRE.

·         1991 Baccalauréat C.

            Annexe du Lycée Lakanal (Sceaux - 92).

            Obtenu à la session de juin.


Livres populaires