Team Camus

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Partnerships and Cooperations
Dissemination
Bibliography
PDF e-pub XML


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: