Les systèmes non déterministes probabilistes sont intensivement utilisés pour modéliser des systèmes évoluant dans un environnement incertain (protocoles de communications subissant des attaques, programmes, équilibres économiques, jeux à information incomplète type poker, etc.).
Le but de cette thèse est de faire progresser la connaissance sur les méthodes d'analyse de ces systèmes. Elle peut être orientée de différentes manières : design d'algorithmes pour résoudre des problèmes concernant ces systèmes, mise au point de méthode de vérification ou encore mise en place de nouvelles formalisations permettant une étude différente des propriétés de ces systèmes.
Context
Objectives
Work program
Extra information
Prerequisite
Le candidat doit avoir :
- un bon niveau en informatique fondamentale
- un bon niveau en mathématiques
- envie d'apprendre la programmation en C/C++ si il ne maitrise pas ce langage
Une connaissance des outils de model checking probabiliste est un plus.
Détails
Expected funding
Institutional funding
Status of funding
Expected
Candidates
Utilisateur
Créé
Jeudi 31 mars 2011 10:18:39 CEST
dernière modif.
Jeudi 31 mars 2011 10:19:08 CEST
Fichiers joints
filename
créé
hits
filesize
Aucun fichier joint à cette fiche
Connexion
Ecole Doctorale Informatique Paris-Sud
Directrice
Nicole Bidoit Assistante
Stéphanie Druetta Conseiller aux thèses
Dominique Gouyou-Beauchamps
ED 427 - Université Paris-Sud
UFR Sciences Orsay
Bat 650 - aile nord - 417
Tel : 01 69 15 63 19
Fax : 01 69 15 63 87
courriel: ed-info à lri.fr