site perso d’Emmanuel Dieul contact
plan du site
Photos
Expériences professionnelles
Logiciels
CV et références

Cours

mardi 3 novembre 2009

Année de DESS Développement des Logiciels Sûrs

Cette année de cours a été dispensée par Paris VI et le CNAM. Voici les cours que j’ai suivi...

Analyse statique Analyse de programmes, graphes de contrôle, débordements arithmétiques, analyse arrière...
Conception formelle Conception en B et en Coq, s’appuyant sur la logique du premier ordre et la logique de Hoare...
Langages synchrones Etude sémantique de Lustre et Esterel. Approche de l’environnement SCADE...
Programmation répartie Etude et programmation CORBA, approche composants (DCOM, ...).
Stage chez MTI Matra Transport International développe les parties sécuritaires de ses systèmes ferroviaires en B. Pour accélérer ces développements, ils utilisent une base de règles qui raffinement automatiquement des machines abstraites en implémentations (selon des habitudes de programmation - le problème est indécidable). Le but du stage était de remettre à jour la base de règles. Vous pouvez obtenir le rapport complet.
Systèmes temps réels Etude des systèmes temps réels, méthodes de construction SART et DARTS, techniques de programmation...
Sécurité / qualité Cryptographie, protocoles de sécurité, architectures tolérantes aux pannes byzantines, plan qualité dans la gestion de projet...
Sémantique des programmes concurrents Formalisation et conception de systèmes en CCS et en réseaux de Pétri.
Sémantique des programmes séquentiels Preuves en sémantique opérationnelle et en sémantique dénotationnelle...
Tests Tests structurels et fonctionnels, couvertures diverses, validation...
Vérification Langages CTL, LTL ; utilisation des outils PROD et SPIN.

Année de Maîtrise d’informatique

Cette année de cours a été dispensée par Paris VI. Voici les cours que j’ai suivi...

Algorithmique graphique Programmation PostScript, VRML et openGL ; étude des courbes de bézier, des splines, des nurbs, des arbres BSP, des arbres cardinaux...
Génie logiciel Modélisation en UML, avec des réseaux de Pétri...
Programmation avancée Une initiation à la sémantique des langages, aux automates, à la calculabilité, et à la programmation synchrone (LUSTRE).
Programmation d’interfaces graphiques Programmation en Xt (interfaces bas niveau) et en Motif (interfaces haut niveau avec copier/coller et drag ’n drop).
Programmation objet distribuée Programmation client/serveur en Java et Objective Caml.
Programmation, informatique et société Programmation en C et en Java ; notions de droit de l’informatique...
Recherche opérationnelle - Intelligence artificielle "Résolution" de problèmes NP-complets, programmation dynamique ; parcours d’arbres de solutions par backtracking, ..., real full look ahead.
Systèmes - réseaux Etude des sémaphores, des ordonnancements de tâches, des systèmes de fichiers et accès disques... Etude des protocoles, des transports de données, des débits...

Année de Licence d’informatique

Cette année de cours a été dispensée par Paris VI. Voici les cours que j’ai suivi...

Algorithmique Parcours de graphes, complexité, optimisation (algorithme du simplexe), flux et coupes...
Architecture Etude en profondeur d’un processeur 32 bits (MIPS R3000), programmation assembleur.
Base de données Bases de données relationnelles, requêtes SQL...
Compilation Réalisation d’un compilateur d’un langage impératif avec boucles, blocs et fonctions, par le biais de LEX et YACC pour Caml.
Outils mathématiques pour l’informatique Logique booléenne, calcul d’automates...
Programmation Notions d’environnement, typage, évaluation, récursivité, exceptions...
Programmation C Programmation en C, construction de makefiles.