|
|
Rapports de stage de recherche en informatique 2003
des élèves de première et deuxième année de magistère.
- Lionel Alberti (première année, Maths).
Stage effectué à l'INRIA, UR de Sophia Antipolis sous la direction
de Yves Bertot.
Sujet: compilateur optimisé certifié. Le
rapport de l'élève
- Pierre-Malo Denielou (première année, STIC).
Stage effectué à l'IRIT, Toulouse, sous la direction de Philippe Besnard.
Sujet: combinaison de logiques. Le
rapport de l'élève
- Sylvain Pradalier (première année, STIC).
Stage effectué au LIRMM, Montpelier, sous la direction de Olivier Gascuel.
Sujet: bioinformatique Le rapport de l'élève
.
- Nicolas Tabareau (première année, STIC).
Stage effectué à Chennai (Inde) sous la direction
de Deepak D'Souza.
Sujet: logique temporelle.
Le rapport de l'élève .
[ Retour à la page principale des stages]
Contacter le Département InformatiqueDernières modifications : le 24 juillet 2007 | |
