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

Relevés de notes

mardi 3 novembre 2009

Afin que vous puissiez vous rendre compte des mes capacités, et les apprécier à leur vraie valeur (j’espère), je vous présente mes trois relevés de notes : celui de licence, celui de maîtrise, ainsi que celui de DESS...
Vous trouverez également un très bref détail de ces cours dans la rubrique "cours".

Notes de DESS Développement des Logiciels Sûrs

Au résultat des courses : je suis arrivé premier de ma promotion sur les cours, second de ma promotion au final. Voici donc les notes que j’ai obtenues dans ces modules...

Analyse statique de programmes 16/20
Anglais 14/20
Conception formelle 17.5/20
Langages synchrones 18/20
Logique du premier ordre 15.5/20
Programmation répartie 17/20
Sémantique des programmes concurrents 17/20
Sémantique des programmes séquentiels 16.5/20
Sûreté - sécurité 13.25/20
Techniques de programmation temps-réel 9.5/20
Tests 12/20
Vérification 16/20
projet : réalisation du prouveur PROSE 18/20
Moyenne sur les cours 15.40/20
stage chez stage chez Matra Transport 17/20
Moyenne générale 16.20/20

Notes de Maîtrise d’informatique

Contrairement aux autres années, certaines options étant plus faciles que d’autres, le classement de la maîtrise est plus variable et plus ou moins justifié. Cette année a aussi été plus difficile que les autres, j’avoue... Je viens de me rendre compte, d’ailleurs que les examens étaient assez laborieux, car j’ai eu 12 pour moyenne générale, mais 14.5 en contrôle continu... On m’a attribué, si mes souvenirs sont exacts, la 27e place.

Algorithmique graphique 11.3/20
Génie logiciel 9.5/20
Programmation avancée 14.4/20
Programmation d’interfaces avec X-Windows 12.4/20
Programmation par objet et distribution 13.4/20
Programmation, informatique et société 12.7/20
Résolution des problèmes en IA et RO 14.3/20
Systèmes et réseaux 10.7/20
projet : Réalisation d’un service de chat en 3 dimensions 19/20
Moyenne sur les cours 13.07/20

Notes de Licence d’informatique

Enfin, voici mon relevé de notes de licence. La licence de Paris VI n’ayant, à l’époque, aucune option, le classement est ici absolu : je suis arrivé sixième de ma promotion.

Algorithmique-1 11.1/20
Algorithmique-2 13.6/20
Architecture 18.25/20
Bases de données 13.75/20
C/Unix et langage C 16.3/20
Compilation 14.92/20
Mise en oeuvre des logiciels 17.17/20
Outils mathématiques pour l’informatique 15.42/20
Programmation 18.58/20
Moyenne sur les cours 15.45/20