Qui suis-je ?

Je n’aime pas enfermer les gens dans des catégories, mais c’est pourtant ce que je m’apprête à faire en ce qui me concerne. Cependant, plutôt que de me restreindre à un petit nombre de telles catégories, voici une liste plus longue de choses que je suis :

amoureux, athée, chercheur, désireux de changer le monde, écologiste, enseignant, étudiant, Européen, féministe, Français, informaticien, jeune homme, lgBt, Marseillais, militant politique, normalien, Parisien, scientifique, thésard

Si vous voulez connaître mon parcours, référez-vous à ma page LinkedIn. Une version PDF de mon CV est aussi disponible sur demande.

Sujets actuels

Je suis actuellement en thèse dans l’équipe-projet πr² d’Inria et le laboratoire IRIF de l’Université Paris-Diderot. Mon directeur de thèse est Hugo Herbelin. Mon sujet de thèse a pour titre “Défis dans le développement collaboratif d’un logiciel mathématique complexe et de son écosystème” (voir mon article de poster à OpenSym 2018 [en anglais]).

Je m’intéresse également au crowdsourcing, et plus généralement à la collaboration de masse via Internet ainsi qu’à la science ouverte et plus précisément la “recherche en public” [open research, en anglais]. J’ai été positivement impressionné par quelques projets qui ont permis, à travers une collaboration massive en ligne, de créer de la connaissance d’une manière inimaginable dans une ère pré-Internet. Je suis convaincu qu’Internet ouvre des possibilités extraordinaires qui sont loin d’avoir été entièrement dévoilées. En particulier, de nouveaux outils de communication et de collaboration seront nécessaires.

Je contribue fréquemment à différents projets open source et je publie mes propres logiciels libres sur Github. Je réponds également à des questions autour du logiciel libre sur Open Source SE.

Par ailleurs, je souhaite faire de ma recherche une activité aussi ouverte que possible en publiant fréquemment et rapidement sur des archives ouvertes ainsi qu’à travers mon blog.

Depuis octobre 2016, je suis aussi chargé de TP/TD. Vous pouvez lire ce que mes étudiants pensent de moi ici.

Travaux passés

  • Mathématiques formelles
    • Préalablement à ma thèse, j’ai travaillé avec Hugo Herbelin sur le transfert automatique et transparent de théorèmes par des isomorphismes. J’ai écrit un billet de blog sur le sujet ainsi qu’un rapport technique :
      • Zimmermann T. and Herbelin H. Automatic and Transparent Transfer of Theorems along Isomorphisms in the Coq Proof Assistant. Présenté à CICM 2015 (work-in-progress track). Lisez-le sur HAL ou sur arXiv.
  • Biologie
    • Pendant mon année d’études au Texas, j’ai découvert le domaine de la bio-informatique et de la biologie computationnelle. J’ai travaillé avec Tandy Warnow pendant un semestre (après avoir suivi son cours le premier semestre) et je suis co-auteur de deux articles :
    • Quelques travaux réalisés pour le cours de Tandy Warnow :
    • Au lycée, j’ai fait, avec deux camarades, un rapport (TPE) sur l’adaptation des plantes à un nouvel environnement.
    • J’ai effectué mon premier stage dans une unité de recherche lorsque j’étais au collège. J’ai observé pendant une semaine le travail de l’équipe d’un laboratoire de recherche en biologie/cancérologie [rapport de stage].
  • Linguistique
    • J’ai fait un stage avec Paul Sabatier au LIF (Laboratoire d’Informatique Fondamentale), à Marseille, dans le domaine du traitement automatique du langage naturel. J’ai développé un algorithme pour inférer des transformations syntaxiques d’une phrase à partir d’exemples, que j’ai implémenté en Prolog [rapport de stage].
    • À l’époque où j’étais à l’école primaire puis au collège, j’ai inventé un langage que j’ai appelé Enfantin. J’ai écrit un papier qui explique tout ce que vous avez besoin de savoir à son sujet. Notez bien que je n’ai jamais parlé ce langage de manière courante. De toute façon, je n’aurais eu personne à qui parler !
    • J’aime étudier les langues en général. J’ai fait du latin, de l’espagnol et de l’anglais pendant de nombreuses années. Aujourd’hui, je parle couramment l’anglais et le français et j’adore ces deux langues. J’essaye actuellement de consacrer un peu de temps à reprendre l’espagnol. J’aimerais d’ailleurs apprendre encore d’autres langues.
  • Physique
    • En maths spé au Lycée Thiers (Marseille), j’ai réalisé mon premier véritable travail de recherche, sur l’adaptation d’un véhicule au revêtement de la piste (dans le cadre de l’éco-Marathon Shell). Il s’agit du TIPE que j’ai présenté à mon concours d’admission à l’ENS (École Normale Supérieure), Paris. J’ai notamment étudié, de manière théorique et expérimentale, la résistance à l’avancement en fonction du type de revêtement de la chaussée, mais aussi de la pression des pneus.
  • Quelques autres travaux en informatique
    • Lors d’un stage à Microsoft Research Cambridge (Angleterre), j’ai travaillé sur les preuves de non-terminaison de programmes, sous la direction de Byron Cook [rapport, en anglais].
    • J’ai lu et commenté de nombreux articles de recherche en informatique. Voici un des tous premiers commentaires que j’ai fait, pour un cours de planification du mouvement en robotique [en français].
  • Programmation logicielle
    • Mon premier logiciel (gagnant du Concours Innovez des Jeunes Inventeurs, mars 2008) : Test-Pedago. Il s’agit d’un logiciel éducatif ayant été utilisé par une institutrice avec ses élèves. Certains élèves y ont même contribué en créant une base de données sur la conjugaison des verbes.
    • Un jeu du Snake innovant. Vous pouvez y jouer dans votre navigateur sur mobile, tablette ou ordinateur.
    • Un projet de création collaborative d’un roman : unkilodeplumes.
  • En tant qu’éditeur, j’ai contribué à la création de Kinea, un nouveau magazine en ligne plurilingue d’analyses politiques et économiques et de vulgarisation scientifique.

Intérêts

En dehors de ceux que j’ai déjà cités, j’ai des intérêts éclectiques. En particulier :

  • Voyager
    • Je suis allé dans de nombreux pays d’Europe de l’ouest ainsi qu’aux États-Unis et au Canada.
    • J’ai vécu dans quatre villes différentes, dans trois pays différents (Marseille, France; Paris, France; Cambridge, Angleterre; Austin, Texas) et je les recommanderais toutes.
    • J’adore aussi les villes de Londres, New York, San Francisco, Barcelone et Dublin.
    • Avec ma petite amie, nous avons profité de notre année d’échange à Austin pour faire beaucoup de tourisme, au Texas et aux États-Unis en général. Quelques unes des villes que j’ai le plus aimées : Houston, San Antonio, La Nouvelle Orléans, Memphis, Washington DC. Je tiens aussi à recommander l’ensemble des Parcs Nationaux (qui sont généralement fantastiques et très bien organisés aux États-Unis). En particulier, si vous avez l’occasion, allez visiter Big Bend National Park (au Texas), la Natchez Trace Parkway (notamment au Mississippi) et Shenandoah National Park (en Virginie).
  • Lecture
    • Un de mes auteurs préférés est Isaac Asimov et je recommande tout particulièrement le cycle des Robots, dont un grand nombre de romans sont à la fois des histoires policières et de science-fiction. J’ai également terminé le cycle de Fondation.
    • En 2014, j’ai lu et adoré “L’Étudiant Étranger” de Philippe Labro. J’avais acheté ce roman huit ans plus tôt mais j’ai finalement choisi le moment parfait pour le lire, étant donné que le sujet résonnait directement avec ma propre aventure américaine. “L’Étudiant Étranger” décrivait pour autant un monde bien différent puisqu’il se déroule sous la ségrégation.
    • Dans une optique proche, je recommande fortement le livre “To Kill a Mockingbird” de Harper Lee, que j’ai eu le plaisir d’écouter récemment.
    • J’ai pu compléter ma culture de l’histoire américaine avec “A People’s History of the United States” de Howard Zinn.
  • Politique