Photo de Florian Birée

Contact : 5 rue Ambroise Thomas, 31400 Toulouse, France

Expérience professionnelle

Février à avril 2011 : enseignant vacataire à l'IUT de Blagnac
travaux pratiques de shell Unix.
Septembre 2010 à juillet 2011 : assistant de recherche dans l'équipe TRACES
à l'IRIT, calcul de limites de boucles pour Otawa (WCET, interprétation abstraite).
Juillet 2010 : stage dans l'équipe de recherche RPDMP
à l'IRIT (choix social, règles de vote, PLNE).
Juillet 2009 : stage dans l'équipe de recherche TRACES
à l'IRIT (WCET, limites de boucles).
Été 2008 : Google Summer of Code.

Autres expériences

Formation

2011-2012 : Master 2 Recherche Informatique et Télécom
à l'Université Paul Sabatier - Toulouse 3 (en cours).
2009-2011 : Master 1 Informatique
à l'Université Paul Sabatier - Toulouse 3, mention Assez Bien (notes).
2006-2009 : Licence Informatique Fondamentale
à l'Université Paul Sabatier - Toulouse 3, mention Assez Bien (notes, diplome).
Licence 2 informatique : mention Bien (diplome).
Licence 1 CIMP  : mention Bien.
2006 : Bac S
au Lycée Las Cases - Lavaur (option SVT, spécialité Maths, mention Bien, diplome).

Savoir-faire

Publications