Cours suivis (apres le DEUG)
-
KSU
Été 2003 Jan 03 - Mai 03 Feb 01 - May 01 -
DEA
Filières (Jan 02 - Mars 02)- Analyse statique par interprétation abstraite (Bruno Blanchet et Laurent Mauborgne)
- Fondements de l'interprétation abstaite (Patrick Cousot)
- Sémantique géométrique (Éric Goubault) et sémantique probabiliste (David Monniaux)
- Langages synchrones (Marc Pouzet)
- Logique temporelle et automates (Hubert Comon)
- Vérification de systèmes infinis (Ahmed Bouajjani)
- Logique linéaire (Roberto DiCosmo)
- Tronc commun (Oct 01 - Dec 02)
-
MMFAI
Deuxième année (Sept 00 - Jan 01)- Planification de mouvement en robotique et en animation graphique (J.-P.Laumond, F.Lamiraux)
- Lambda-calculs et domaines (P.-L.Curien)
- Réalisation de systèmes matériels (J.Vuillemin, M.Shand)
- Sémantique (cours et TD : Patrick Cousot)
- Langages formels,calculabilité,complexité et analyse d algorithmes (cours : Paul Gastin, TD : Maribel Fernandez)
- Bases de données (cours : Nicolas Spyratos, TD : Emanuell Waller)
-
Langages de programmation et compilation (cours : Patrick Cousot, TD : Laurent Mauborgne)
(Réalisation d'un compilateur pour un langage fortement typé relativement simple, ie de type caml en beaucoup plus simple) - Algorithmique (cours : Jacques Stern, TD : Louis Granboulan et Laurent Mauborgne)
-
Théorie des Techniques de l'information (Jean Vuillemin)
(Réalisation d'un projet en Jazz : simulation d'un microprocesseur ) - Logique (logique du premier ordre)
Projets et présentations de cours
-
KSU
- 890 : Présentation du chapitre sur les types
récursifs
- 705 (typing) : projet
partie 3
- 705 (typage) : projet
partie 2
other version
- 705 (typing) : projet
partie 2
- 705 (typing) : projet
partie 1
- 890 : Présentation du chapitre sur les types
récursifs
-
DEA
- Exposé pour le cours de sémantique géométrique
- Exposé pour le cours de langages synchrones
- Exposé pour le cours de vérification de systèmes infinis
- Exposé pour le cours d'interprétation abstraite
MMFAI
- Exposé d'un article pour l'examen de robotique : (télécharger) : compte rendu, transparents
- Présentation de mon stage de maîtrise sous format ppt
- Projet d'un micro-processeur en théorie de l'info
- Compilateur pour un langage fortement typé relativement simple (il n'y a que la version par valeur au point)
- Exposé d'un article en sémantique sur un article de John McCarthy et James Painter (télécharger)
- Exposé d'un article pour l'examen de bases de données sur un article de Mark Levene et Georges Loizou (télécharger) : compte rendu, transparents
- Une bibliothèque en O2 pour l'examen de bases de données
Contact:
Elodie-Jane
Last modified: April 2010 |
Back
|
![[point]](/picts/utils/full_stop.png){kind=small}
![[arobase]](/picts/utils/commercial_at.png){kind=small}