Descriptif

Nous donnons ci-dessous une liste non exhaustive de sujets possibles de projets de recherche en laboratoire. Ces sujets sont personnalisables, vous pouvez solliciter les responsables de cours intervenant dans la filière, les chercheurs et enseignants-chercheurs du LIX, et bien sûr les responsables de la filière.

- Des propositions liées à INF559 (Architecture des ordinateurs et systèmes d'exploitation) :

• Validation and Synthesis of DWARF Debugging Informations

- Deux propositions liées à INF569 (Modélisation et analyse de systèmes cyber-physiques)

• Approximations intérieures et vérification de propriétés temporelles de systèmes hybrides
• Robotique expérimentale et sûreté de fonctionnement

(vous pouvez aussi nous solliciter pour des sujets liés aux thèmes traités en cours, cf moodle INF569)

- Une proposition liée à INF412 principalement

• Modèles de calculs continus ; A propos de la puissance des modèles de calcul basés sur les équations différentielles ordinaires

Parmi les anciens projets :

- Sur-approximation de systèmes différentiels avec delais (Lorenz Sahlman, qui a ensuite continué en stage à CMU et remporté un prix de stage), cf. rapport . Le sujet peut être poursuivi dans de nombreuses directions.