Title	PhD Student
	Mail	This e-mail address is being protected from spam bots, you need JavaScript enabled to view it
	Address	Symbiose
		INRIA/Irisa - Campus de Beaulieu
		35042 RENNES Cedex - France
	Tel	+33 2 99 84 71 15
	Fax	+33 2 99 84 71 71
Current Position	PhD (sous la direction de Dominique Lavenier)

Publications :

• A (Transpportation) Reaction Language: Preliminary Report, Thibaut Henin, Torsten Schaub (Workshop on Nonmonotonic Reasoning, Action and Change (NRAC 2009))
• QuiGon, Thibaut Henin, Huguennet Corinne, EC2ND 2007
• Automating scénario merging, Loïc Hélouët, Thibaut Hénin, Christophe Chevrier, SAM'06, Mai 2006
• Lépisme, François Boulier, Lilianne Denis-Vidal, Thibaut Henin and François Lemaire; conférence en l'honneur de Daniel Lazard, novembre 2004

Enseignements :

2008-2009

M2 SSI (IFSIC, Rennes)

• Projet encadrement de projet : IP over *
• Projet encadrement de projet : Rootkit dans le MBR
• EVL (Etude des vulnérabilités des logiciels), TP : recherche de vulnérabilités et exploitation dans une hacking box
• AUTH Tp d'Authentification

Ens Cachan, antenne de Bretagne

• prepa agreg cours d'informatique pour les prépa agreg.
• Algo/prog cours d'algorithmique et de programmation java aux MIT1.

2007-2008

M2 SSI (IFSIC, Rennes)

• Projet encadrement de projet : sanson the headman
• RIP (Rétro-Ingénierie des Programmes) TP : analyse post-mortem

L1 MIPE (Rennes1)

• APF (Apprentissage de programmation fonctionnelle), TP de Scheme en L1
• FO (Fondement des ordinateurs), TP de java en L1

Ens Cachan, antenne de Bretagne

• prepa agreg cours d'informatique pour les prépa agreg.
• Algo/prog cours d'algorithmique et de programmation java aux MIT1.

2006-2007

M2 SSI (IFSIC, Rennes)

• RIP (Rétro-Ingénierie des Programmes) en M2, mention SSI, 10h de TP (analyse de binaires)

Agrocampus (Rennes)

• Cours de Réseau informatique : CM, TD et TP à des masters de l'Agrocampus de Rennes
• Base de données : TD-TP à des masters de l'Agrocampus de Rennes

ENSAI (Rennes)

• UML/Java : TD-TP à des licences à l'ENSAI de Rennes

CUAEH

• Système, sécurité et architecture : soutien scolaire.

Enseignements divers :

• CLIC : Depuis septembre 2007, je donne 1h30 de formation par semaine en informatique à des adultes (dans l'association CLIC à chantepie).

Formation :

• 2005-2006 : Master 2 Recherche et magistère à l'ENS Cachan (antenne de Bretagne) et Rennes 1 (35), mention Bien
• 2004-2005 : Master 1 informatique à l'UJF (Grenoble, 38), mention bien
• 2003-2004 : License d'informatique à l'USTL (Lille, 59), mention très bien
• 2002-2003 : DEUG 2 MIAS à l'USTL, mention bien
• 2001-2002 : DEUG 1 MIAS à l'USTL, mention très bien
• 2000-2001 : Diplôme d'études générales secondaires (équivalent du bac) à Chimay (Belgique)