2, Rue Victor Basch 35 700 Rennes Courriel : Marc.Eluard@irisa.fr Né le 25/08/1972 à Vitré (35) Célibataire, dégagé des obligations militaires. |
2001 | Thèse de doctorat mention informatique, IRISA, Projet Lande, Faculté des sciences de Rennes 1. | |
1998 | DEA Informatique, filière Systèmes informatiques et langages de haut niveau, IFSIC, Faculté des sciences de Rennes 1. | |
1996 | Maîtrise Informatique, IFSIC, Faculté des sciences de Rennes 1. Mention Assez Bien. | |
1995 | Licence Informatique, IFSIC, Faculté des sciences de Rennes 1. Mention Bien. | |
1994 | Deug M.A.S.S. (Sciences économiques, mathématiques, informatique), Faculté des sciences de Rennes 1. | |
1990 | Baccalauréat, série E, Lycée Joliot Curie (Rennes). |
jan. 2002 - sep. 2002 | Ingénieur expert dans le projet Lande, IRISA. | |
sep. 1998 - déc. 2001 | Thèse de doctorat sur " L'analyse de sécurité pour la certification d'applications Java Card ", IRISA (projet Lande). | |
fév. 1999 - avr. 1999 | Vacataire en enseignement, travaux dirigés et travaux pratiques en Deug M.I.A.S 1ère année (Méthodes et outils de l'informatique : approche fonctionnelle), IFSIC. | |
fév. 1998 - sept. 1998 | Stage de DEA sur " La résolution de systèmes d'équations et d'inéquations pour l'analyse de programme ", IRISA (projet Lande). Ce stage s'inscrit dans le cadre d'un " moteur " d'analyse statique de programmes. | |
sept. 1997 - mai 1998 | Moniteur IPT (Informatique Pour Tous), encadrement du libre service et des travaux pratiques, IFSIC. | |
oct. 1996 - juil. 1997 | Instructeur en Informatique, Armée de l'air (service militaire), Brétigny/Orge. | |
juin 1996 - sept. 1996 | Stagiaire de recherche sur " Le développement d'une interface graphique pour la modélisation et la simulation d'applications dans les réseaux électriques ", IRISA (projet EP-ATR). | |
1990 - 1995 | Divers travaux d'été (manutentionnaire, serveur). |