Présentation de la mention
| Вид материала | Документы |
СодержаниеResponsable : Frederic PESCHANSKI |
- A few slides from the Presentation, 31.45kb.
- На русском и английском языках, 160.31kb.
- Стандарт університету, 259.5kb.
- International Communist Seminar (Brussels) Presentation Международный Коммунистический, 29.1kb.
| Acronyme : sacc | Spécialité : STL | 3 ECTS | Niveau : 500 | Semestre : S3 |
| Titre : Sémantique de la concurrence et de la mobilité | ||||
| Responsable : Frederic PESCHANSKI | Répartition hebdomadaire ou semestrielle | |||
| (CM: 3h00) | ||||
ContenuLa concurrence et la mobilité sont des aspects difficiles mais incontournables des systèmes d'information actuels. Ce cours propose une introduction aux concepts sous-jacents des langages dédiés à la modélisation et à la programmation de systemes concurrents et mobiles dans une optique de sûreté de fonctionnement. | ||||
Expérience du responsable dans le domaine de l’UEJ'étudie la sémantique de la concurrence et de la mobilité depuis mon DEA (systèmes informatiques répartis de Paris 6) et dans le cadre ma thèse de doctorat sur la composition de logiciel concurrent et réparti. Dans le cadre d'un post-doc de deux ans à l'université de Tokyo, j'ai approfondi l'étude des théories de mobilité et notamment le pi-calcul. J'étudie maintenant, en tant que Maître de Conférence à Paris 6, l'application des théories de concurrence et de mobilité dans le cadre des Systèmes Multi-Agents. L'ensemble de ces recherches ont abouti à des publications d'envergure internationale. | ||||
Réalisations du responsable dans le domaine de l’UE
| ||||