Previous | 
Home
Section: Dissemination
Teaching
Philippe Clauss, Université de Strasbourg, France
| Intitulé du cours | Nombre d'heures | Niveau |
| Architecture des ordinateurs | 27 | L2 |
| Compilation | 64 | M1 |
| Compilation avancée | 30 | M1 |
| Système et programmation temps-réel | 25 | M1 |
| OS embarqués et réseaux industriels et de terrain | 35 | M2 |
| Parallélisme | 15 | M2 |
| 1 Encadrement TER | 10 | M1 |
| 1 Encadrement stage Master | 50 | M2 |
| 2 Encadrements doctorat | 200 | Doctorat |
Vincent Loechner, Université de Strasbourg, France
| Intitulé du cours | Nombre d'heures (éq.TD) | Niveau |
| Structures de données et algorithmes | 15 | L2 |
| Programmation système et réseau | 52 | L2 |
| Fondements des systèmes d'exploitation | 38 | L3 |
| Langage interprété | 40 | M1 |
| Compilation avancée | 8 | M1 |
| Parallélisme | 15 | M2 |
| Parallélisme | 30 | école d'ingénieur |
| Encadrement TER (1) | 10 | M1 |
| Encadrement stage Master (1) | 50 | M2 |
| Encadrement doctorat (1) | 100 | Doctorat |
Alain Ketterlin, Université de Strasbourg, France
| Intitulé du cours | Nombre d'heures | Niveau |
| Bases de données avancées | 40 | M2 |
| Ingénierie de la preuve | 18 | M1 |
| Programmation fonctionnelle | 22 | L2 |
| Encadrement d'apprentis | 20 | M1 |
Julien Narboux, Université de Strasbourg, France
| Intitulé du cours | Nombre d'heures (éq. TD) | Niveau |
| Logique et Programmation Logique | 61 | L2 |
| Logique | 34 | 1a |
| Modèles de Calcul | 40 | L1 |
| Techniques de Programmation | 45 | L2 |
| Ingénierie de la preuve | 27 | M1 |
| Certification du Logiciel | 36 | M2 |
| Constructions et Preuves en Géométrie | 6 | M2 |
| 1 Encadrement Projet 150h | 10 | M1 |
| Encadrement stage ENSIIE | 30 | 1a |
| Encadrement stage Master | 50 | M2 |
Éric Violard, Université de Strasbourg, France
| Intitulé du cours | Nombre d'heures (éq. TD) | Niveau |
| Programmation Fonctionnelle | 61 | L2 |
| Programmation Système & Réseau | 36 | L2 |
| Compilation | 42 | M1 |
| Sémantique | 45 | M1 |
Nicolas Magaud, Université de Strasbourg, France
| 192 heures statutaires en L2 informatique, L3 math, Master Informatique Intitulé du cours | Nombre d'heures (éq. TD) | Niveau |
| Projet Professionnel Personalisé | 20 | L2 |
| Structures de Données - Algorithmes | 33 | L2 |
| Ingénierie de la preuve | 12 | M1 |
| Preuve et Certification du Logiciel | 36 | M2 |
| Algorithmique et Programmation | 46 | ENSIIE-Strasbourg 1A |
| Algorithmique et Structures de données | 30 | L3 Math |
| Génie Logiciel | 30 | M1 Chemo-informatique |
PhD:
-
PhD : Benoît Pradelle, Static and Dynamic Polyhedral Compilation Methods for the Execution in Multi-core Environments [12] , Université de Strasbourg, December the 20th 2011, Philippe Clauss
-
PhD in progress : Alexandra Jimborean, Advanced parallelization tools for multicore programming, October 2009, Philippe Clauss and Vincent Loechner
-
PhD in progress : Jean-François Dollinger, Dynamic optimizations for GPUs, September 2011, Philippe Clauss and Vincent Loechner