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):
- 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
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.
This INF511A course is offered by the Informatics department as a short project, only in period 1. It serves as a in-depth course (EA). Caution: the Year 3 long project format, in both periods, is referenced as INF511. This one is especially recommended for Bioinformatics PA students.
On condition of validation of the Biology department, this short course may be particularly suitable for Biology PA students wishing to invest in a transversal subject with an important informatics or programming part.
Alone or in pair project must constitute prior discussions to define the subject and can be associated to one of the other courses followed. In any case, you should contact us as soon as possible to define an adapted subject to your interests and curriculum.
Examples of subjects:
- Computing folding pathways between two RNA secondary structures
- A Divide and Conquer Approach for RNA Design
- Prédiction des nucléotides aux interfaces protéine/ARN
- Classification de structures protéiques
- Implementation of Stochastic Simulation Algorithm and application to the modelization of metabolic network
- Classification d'électroencéphalogrammes et détection de crises d'épilepsie
- Biochemical implementation of a proportionnal integral controller
Language: French and/or English
This module is offered by the Computer Science department (DIX) as the "3A Project" within the "The Internet of Everything For a Digitized Society (IOE4DS)" track.
Each project is intended for 1-3 (motivated) students to work together, in collaboration with an (academic or industrial) researcher, on a scientific or technological topic of mutual interest.
This track is supported by Cisco Systems, by intermediary of the X-Cisco industrial chaire "Internet of Everything", which proposes a number of projects related to their current research and technology development.
Also note that in either case, it is imperative that you contact both the person listed for each project, and the coordinator of INF512 (T. Clausen) as soon as possible, to discuss and formalise your project.
Language: French and/or English
This page is for the Research Projects of the tracks "Algorithms and Foundations of Programming Languages".
Below you will find project proposals for 2017-2018
- Pierre-Yves Strub. A COQ Proof-Mode for APRHL
- Grégoire Lecerf. Factorisation des polynômes sur les corps finis.
- Grégoire Lecerf. Implantations HPC des opérations arithmétiques sur les polynômes et séries de petites et moyennes tailles.
- Olivier Bournez. Modèles de calculs continus: A propos de la puissance des modèles de calcul basés sur les équations,différentielles ordinaires.
Below you will find INF513 projects that were done in the previous years. We advise the students to contact the lecturers in charge of your favourite courses to discuss the possibility of doing a project under their supervision, or contact the supervisors that proposed projects this year or in the past.
====
- Dale Miller, Certificates for CTL Model Checkers.
- Stéphane Graham-Lengrand and Assia Mahboubi, Combination of decision procedures in presence of meta-variables (attached)
- Benjamin and Carola Doerr, Analyse des algorithmes évolutionnaires (http://people.mpi-inf.mpg.de/~doerr/projet_approf_doerr_x13_ea.pdf)
- Tomer Libal and Dale Miller (shaolintl@gmail.com), Checking Proof Certificates (ProofCert project)
- Xavier Allamigeon (Xavier.Allamigeon@inria.fr), Falsifier formellement la conjecture de Hirsch.
Projet de 3A - Algorithmique efficace
This is the page of the 3A project of the "parcours Algorithmique Efficace". This year (2017/18) the project can be taken according to the following rules:
- the project is about 10 weeks long, over only one period (PA1 or PA2): it can be taken as substitute for one course of the "parcours".
- the project must be academic (industrial projects are not allowed),
- a tutor from DIX/LIX (either teacher or researcher) will supervise the student,
- the project must be done individually (groups of 2 or 3 people are not allowed).
You can find below a short (non-exhaustive) list of possible topics. Please contact the corresponding tutor to get more details:
- De l’image d’un troupeau à un animal animé (Marie-Paule Cani and Damien Rohmer, LIX)
- Transfert de mouvement à d’autres morphologies (Marie-Paule Cani and Damien Rohmer, LIX)
- Animer un objet 3D par la voix (Marie-Paule Cani and Damien Rohmer, LIX)
- Social network visualization with geographic constraints (par L. Castelli Aleardi, LIX)
- Sketch-based 3D shape retrieval (par M. Ovsjanikov, LIX)
- capture de la réalité et nouveaux défis (par Renaud Keriven, DIX)
- On Support Vector Clustering (Frank Nielsen, DIX)
- On robust and efficient implementation of k-levels of 3D arrangements of planes with applications (Frank Nielsen, DIX)
- On visualizing tensor fields with applications (Frank Nielsen, DIX)
- Distributed Delaunay Triangulation (Pooran Memari, LIX)
3rd year project for the Optimization track
Course language: French
This project gives access to a first research experience during the 3A/M1; this experience is valuable in particular when applying for a prestigious Master program.
The project can be either academic or industrial and a tutor (DIX researcher and/or instructor) will supervise the student(s). The students could work on the projet in groups of up to 3 people.
The project can be either choosen among the ones proposed and presented below, or proposed by the student(s). In the latter case, it needs to be validated by the course coordinator (Ioana.Manolescu@inria.fr)
Please consult the topics, discuss with the project supervisor(s), and if you agree to do it together , inform the course coordinator. You need to do this quickly so that you can start working on the project.
