Précédents travaux

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 [en anglais].

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 :
- Zimmermann T., Mirarab S. and Warnow T. BBCA: Improving the scalability of *BEAST using random binning. BMC Genomics 15, Suppl 6 (2014), S11.
- Mirarab S., Reaz R., Bayzid M. S., Zimmermann T., Swenson M. S. and Warnow T. ASTRAL: genome-scale coalescent-based species tree estimation. Bioinformatics 30, 17 (2014), i541–i548.
Quelques travaux réalisés pour le cours de Tandy Warnow :
- “Boosting BAli-Phy with UPP”, C. Rottner, T. Zimmermann, avec l’aide de N. Nguyen et T. Warnow, rapport de projet.
- Presentation of CABOG, un assembleur génomique.

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 !

En maths spé au Lycée Thiers (Marseille), j’ai réalisé mon premier 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.

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].

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].

Précédents projets logiciels

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. Il marche toujours très bien !
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.