Course info

Here is a non-exhaustive list of possible reserch subjects in laborarory. These subjects can be personalized, you can contact the course coordinator involved in the program, researchers and LIX professors-researchers and of course the program coordinators.

 

- Proposals linked to INF559 (Computer Architecture and Operating Systems):

• Validation and Synthesis of DWARF Debugging Informations

- Two proposals linked to INF569 (Decision theory, with applications to energy systems):

• Internal approximations and time property verification of hybrid systems
• Experimental robotics and operational security

(You can also contact us for subject related to those covered in class, cf. moodle INF569)

- One proposal mainly linked to INF412

• Continuous calculation models; regarding power of calculation models using ordinary differential equations

 

Among old projects:

- delay differential equation systems (Lorenz Sahlman, who then continued on to do an intership at CMU and won a price intership), cf. report. The subject can be continued in various directions.