Thomas Papillon 5, Plateau de la ravinière 95520 Osny (France) H +33 6 85 38 14 78 B [email protected] Élève ingénieur Expérience professionnelle Juin 2013 – Stage de recherche en ingéniérie système, LARIS (EISTI), Cergy-Pontoise. Août 2013 Implémentation en Python d’un outil permettant de générer un AMDEC à partir d’un diagramme SysML. Intégration d’un profil de sureté de fonctionnement dans TopCased via un stéréotype. Avril 2013 Exposé, EISTI, Cergy-Pontoise et Pau. Cours ainsi que TD/TP sur le langage OCaml, et son application au codage de Huffman, sur les deux campus de l’EISTI. 2009 – Cours particuliers, Cergy-Pontoise. maintenant Mathématiques, physique, formation musicale. Volume : entre 1 et quatre heures par semaine. Projets Septempbre 2013 – Novembre 2013 RobAFIS 2013, Équipe Collegium, Compétition nationale inter-écoles de robotique., http://www.robafis.org. Construction d’un robot basé sur un kit LEGO Mindstorm au sein de l’équipe Collegium (EISTI/ENSEA/SupMeca). Implémentation d’un suivi de ligne, d’algorithmes de préhension de balle. Travail sur la conception générale et la stratégie. Application de méthodes d’ingéniérie système pour la conception du robot et écriture d’un rapport technique exhaustif (ex: méthode Agile, diagrammes SysML, . . . ). Novembre Compilation en Haskell, EISTI, TIPE de deuxième année de classes préparatoires. 2012 – Août Conception et implémentation d’un compilateur pour un langage-jouet impératif. Programmation en Haskell, utilisation de Alex, 2013 Happy, et LLVM pour le backend. Implémentation d’algorithmes relatifs au typage pour l’inférence et la vérification de dimensions. Novembre Pagerank, EISTI, TIPE de première année de classes préparatoires. 2011 – Juin Travail théorique et pratique sur l’algorithme Pagerank de Google, implémentation en C++. 2012 Compétences Langages de Haskell, OCaml, Python, C, C++. Usage occasionnel de Coq, Pascal, SQL, Bash, Javascript, HTML/CSS, Common programma- Lisp. tion Typographie LATEX, LibreOffice. Frameworks et Django, MS Project, TopCased, Artisan Studio. outils Environnements GNU/Linux (tous les jours), MS Windows. Autres Git, emacs. Langues Français Langue natale. Espagnol Débutant. Anglais Courant. Mandarin Débutant. Formation 2011 – Licence en Informatique, Université de Cergy-Pontoise, Cergy-Pontoise. maintenant 2013 – Première année de cycle ingénieur, EISTI, Cergy-Pontoise. maintenant Cours de mathématiques, informatique, finance, management. 2011 – 2013 Classe préparatoire, EISTI, Cergy-Pontoise. Classé 4e puis 5e de ma promotion 2011 Baccalauréat scientifique, Lycée A. Kastler, Cergy-Pontoise. Mention Assez Bien – spécialité mathématiques. Interests Music Classic musician (graduated from Cergy-Pontoise music school). Drummer in a rock band (recordings and concerts). 1/2 Science Algorithms (semi-finalist at the Prologin programming contest 2012 and ranked 22th on 93 at the 2013 final), functionnal programming, compilers, logic, type theory. Pure and applied mathematics, category theory, fundamental physics, astrophysics. Culture Literature, theater, pictural art. 2/2