EN FR
EN FR




Section: Dissemination

Teaching

• Philippe Clauss, Université de Strasbourg, France

Table 2.
Intitulé du coursNombre d'heuresNiveau
Architecture des ordinateurs27L2
Compilation64M1
Compilation avancée30M1
Système et programmation temps-réel25M1
OS embarqués et réseaux industriels et de terrain35M2
Parallélisme15M2
1 Encadrement TER10M1
1 Encadrement stage Master50M2
2 Encadrements doctorat200Doctorat

• Vincent Loechner, Université de Strasbourg, France

Table 3.
Intitulé du coursNombre d'heures (éq.TD)Niveau
Structures de données et algorithmes15L2
Programmation système et réseau52L2
Fondements des systèmes d'exploitation38L3
Langage interprété40M1
Compilation avancée8M1
Parallélisme15M2
Parallélisme30école d'ingénieur
Encadrement TER (1)10M1
Encadrement stage Master (1)50M2
Encadrement doctorat (1)100Doctorat

• Alain Ketterlin, Université de Strasbourg, France

Table 4.
Intitulé du coursNombre d'heuresNiveau
Bases de données avancées40M2
Ingénierie de la preuve18M1
Programmation fonctionnelle22L2
Encadrement d'apprentis20M1

• Julien Narboux, Université de Strasbourg, France

Table 5.
Intitulé du coursNombre d'heures (éq. TD)Niveau
Logique et Programmation Logique61L2
Logique341a
Modèles de Calcul40L1
Techniques de Programmation45L2
Ingénierie de la preuve27M1
Certification du Logiciel36M2
Constructions et Preuves en Géométrie6M2
1 Encadrement Projet 150h10M1
Encadrement stage ENSIIE301a
Encadrement stage Master50M2

• Éric Violard, Université de Strasbourg, France

Table 6.
Intitulé du coursNombre d'heures (éq. TD)Niveau
Programmation Fonctionnelle61L2
Programmation Système & Réseau36L2
Compilation42M1
Sémantique45M1

• Nicolas Magaud, Université de Strasbourg, France

Table 7.
192 heures statutaires en L2 informatique, L3 math, Master Informatique Intitulé du coursNombre d'heures (éq. TD)Niveau
Projet Professionnel Personalisé20L2
Structures de Données - Algorithmes33L2
Ingénierie de la preuve12M1
Preuve et Certification du Logiciel36M2
Algorithmique et Programmation46ENSIIE-Strasbourg 1A
Algorithmique et Structures de données30L3 Math
Génie Logiciel30M1 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