Structures et modèles de calculs de réécriture

Je suis heureux d'crire ces remerciements, profitant de l'occasion qui m'est donne d'exprimer ma gratitude. EncadrementMon travail au sein de l'quipe Protheo a commenc il y a dj plus de 5 ans.J'ai t accueilli par Claude Kirchner qui m'a fait dcouvrir le monde de la recherche avec un enthousiasme certain. chaque tape, sa vision d'ensemble a t fort utile et la confiance qu'il m'a accorde a t souvent prcieuse.J'ai toujours t chaleureusement accueilli dans le bureau de Claude et j'en suis toujours sorti tonn de sa grande curiosit.Pendant mon stage de licence et pendant ma thse, j'ai lu plusieurs reprises la thse d'Horatiu Cirstea, y dcouvrant chaque fois de nouvelles ides.Chaque jour d'avantage, j'apprcie la vivacit d'esprit et l'humour d'Horatiu.Mon seul regret est d'avoir trop parl et de ne pas m'tre laiss suffisamment interpeller.Sa prsence au quotidien, mlange de pdagogie, de simplicit et de patience, a t extrmement prcieuse.Elle m'a permis de parfaire, par des remarques toujours pertinentes et constructives, mes comptences scientifiques mais aussi la qualit de ma rdaction.Travailler avec lui a toujours t un plaisir.J'ai choisi d'aborder mon sujet de thse en utilisant plusieurs approches dont une (smantique dnotationnelle) est relativement loigne de la culture de mes encadrants et de l'quipe.Cela fut certes compliqu, mais aussi trs instructif, m'obligeant toujours questionner ma dmarche.Ce questionnement a t parfois long et je tiens remercier chacun de mes encadrants d'avoir permis ces diffrentes approches (ce qui ncessite une ouverture d'esprit prononce) et d'avoir respect ces temps de questionnements.Je tiens plus gnralement les remercier trs chaleureusement pour ce que chacun m'a apport.Je suis conscient que je leur ai demand beaucoup et que l'investissement dont ils ont fait preuve est la fois rare et de qualit. JuryC'est la fois une joie et un honneur d'avoir un jury compos de scientifiques de tout premier plan et issus de communauts relativement diffrentes.Je remercie chacun d'eux d'avoir accept d'en faire partie (notamment Dominique Mery d'avoir accept d'en tre le prsident) et de l'intrt qu'ils ont port mon travail. plusieurs reprises, j'ai pu constater la pertinence et la pdagogie de Gilles Dowek et Femke van Raamsdonk.Leurs notes de cours (sur la thorie des types, respectivement la rcriture d'ordre suprieur), leurs articles et leurs exposs m'ont appris beaucoup, aussi iii Remerciements bien par leur contenu que par leur prsentation.Les changes avec Gilles ont toujours t encourageants et plein de discernement et, la thse de Femke a t pour moi un modle de clart et de rigueur.Je les remercie trs fortement d'avoir accept d'tre rapporteurs et d'avoir vu beaucoup plus que ce que j'avais crit.Je tiens les remercier, ainsi que Paul-Andr Mellis, pour l'incroyable qualit de leurs questions qui constituent une mine d'or que je souhaite exploiter au mieux.Collaborations et cadre de travail L'ensemble des membres de l'quipe Protheo a largement contribu cette thse, notamment par une lecture minutieuse d'une partie de mon manuscrit.Je tiens les remercier trs chaleureusement.Les membres permanents de l'quipe ainsi que Chantal Llorens m'ont offert un cadre de travail matriel trs satisfaisant.Je les remercie notamment d'avoir permis mes nombreux dplacements.Mes journes de travail auront t ponctues par de nombreuses discussions, aussi bien avec des thoriciens fous (notamment Colin Riba) qu'avec des codeurs fous (notamment Antoine Reilles).J'apprcie toujours leur spontanit et leur richesse.Je tiens aussi remercier les nombreux visiteurs de l'quipe Protheo pour m'avoir fait part de leurs remarques et interrogations.En particulier, Eduardo Bonelli m'a inspir l'approche dcrite dans la premire partie de cette thse.Qu'il en soit sincrement remerci.Aprs avoir accept d'encadrer mon stage de matrise au pied lev, Alexandre Miquel m'a nouveau accueilli pour m'aider approcher diffremment mon sujet de thse.Ses qualits scientifiques et pdagogiques ont contribu amliorer ma comprhension de la smantique dnotationnelle.Sa capacit tant proposer une vision globale qu' passer une journe entire comprendre pourquoi un diagramme commute m'impressionne encore aujourd'hui.De nombreuses sances de travail avec Alexandre ont eu lieu au sein du laboratoire PPS.Je tiens remercier l'ensemble des personnes qui ont rendu ces sjours agrables et instructifs.En particulier, je souhaite remercier trs vivement Delia Kesner pour nos changes extrmement stimulants.Je remercie Emmanuel Hainry et Antoine Reilles de m'avoir incit utiliser Vim et Mutt qui sont devenus, grce eux, mes outils prfrs.Je les remercie aussi pour leur aide prcieuse lors de la mise en page de ce document. EnseignementDurant ces quatre annes passes Nancy, j'ai eu la chance de ctoyer des lves et des enseignants qui m'ont donn envie de m'investir avec le plus de srieux et de dvouement possibles.iv Je tiens tout d'abord remercier trs fortement mes lves pour avoir accept de me faire confiance malgr des mthodes de travail parfois originales, dans une priode o j'tais encore hsitant sur mon approche de l'enseignement.Que tous les enseignants avec qui j'ai travaill et qui, par l'exemple ou le contreexemple, m'ont aid tendre vers une pdagogie qui me ressemble soient remercis.En particulier, Brigitte Jaray s'est attache me transmettre une ide de l'enseignement faite d'un savant mlange de rigueur, de plaisir et de libert.Qu'elle soit assure de ma sincre gratitude.Je souhaiterais remercier les enseignants qui m'ont donn, lorsque j'tais leur tudiant, l'envie de faire ce mtier.Merci Odile Millet-Botta pour m'avoir fait dcouvrir l'informatique fondamentale et pour m'avoir incit postuler l'ENS de Lyon.Merci Jacques Mazoyer qui a su, l'occasion de son cours de calculabilit, me transmettre passion et intuitutions.Merci enfin Jean-Pierre Jouannaud pour son excellent cours sur la rcriture d'ordre suprieur.Pour finir. . .Ce document tant usage professionnel, je me suis limit aux remerciements directement lis ce contexte.Nanmoins, je souhaite remercier toutes les personnes avec qui j'ai partag un bout de chemin une fois sorti du travail (les citer serait digne d'une numration la Prvert).Je trouve rassurant de ne pas savoir ce que je dois rellement chacun d'eux mais je les remercie trs sincrement pour tout ce que nous avons partag et partageons.Merci en particulier ma famille pour son amour.Leur soutient affectif et matriel a toujours t opportun.Merci enfin Daniel qui a toujours su m'apporter, en plus du reste, une coute attentive et rconfortante dans mes nombreux moments d'hsitations.v ' 5 d d d d d d d d d d d d d d B

Fetched live from OpenAlex and de-inverted. Abstracts are not stored in this database: the inverted indexes are 8.6 GB of the frame’s 9.3 GB of text, and the host has 13 GB free.