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

Je suis heureux d'écrire ces remerciements, profitant de l'occasion qui m'est donnée d'exprimer ma gratitude. EncadrementMon travail au sein de l'équipe Protheo a commencé il y a déjà plus de 5 ans.J'ai été accueilli par Claude Kirchner qui m'a fait découvrir 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 accordée a été souvent précieuse.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 thèse, j'ai lu à plusieurs reprises la thèse d'Horatiu Cirstea, y découvrant à chaque fois de nouvelles idées.Chaque jour d'avantage, j'apprécie 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 présence au quotidien, mélange de pédagogie, de simplicité et de patience, a été extrêmement précieuse.Elle m'a permis de parfaire, par des remarques toujours pertinentes et constructives, mes compétences scientifiques mais aussi la qualité de ma rédaction.Travailler avec lui a toujours été un plaisir.J'ai choisi d'aborder mon sujet de thèse en utilisant plusieurs approches dont une (sémantique dénotationnelle) est relativement éloignée de la culture de mes encadrants et de l'équipe.Cela fut certes compliqué, mais aussi très instructif, m'obligeant toujours à questionner ma démarche.Ce questionnement a été parfois long et je tiens à remercier chacun de mes encadrants d'avoir permis ces différentes approches (ce qui nécessite une ouverture d'esprit prononcée) et d'avoir respecté ces temps de questionnements.Je tiens plus généralement à les remercier très 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 communautés relativement différentes.Je remercie chacun d'eux d'avoir accepté d'en faire partie (notamment Dominique Mery d'avoir accepté d'en être le président) et de l'intérêt qu'ils ont porté à mon travail.À plusieurs reprises, j'ai pu constater la pertinence et la pédagogie de Gilles Dowek et Femke van Raamsdonk.Leurs notes de cours (sur la théorie des types, respectivement la réécriture d'ordre supérieur), leurs articles et leurs exposés m'ont appris beaucoup, aussi iii Remerciements bien par leur contenu que par leur présentation.Les échanges avec Gilles ont toujours été encourageants et plein de discernement et, la thèse de Femke a été pour moi un modèle de clarté et de rigueur.Je les remercie très 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é Melliès, 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 thèse, notamment par une lecture minutieuse d'une partie de mon manuscrit.Je tiens à les remercier très chaleureusement.Les membres permanents de l'équipe ainsi que Chantal Llorens m'ont offert un cadre de travail matériel très satisfaisant.Je les remercie notamment d'avoir permis mes nombreux déplacements.Mes journées de travail auront été ponctuées par de nombreuses discussions, aussi bien avec des théoriciens fous (notamment Colin Riba) qu'avec des codeurs fous (notamment Antoine Reilles).J'apprécie toujours leur spontanéité 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 décrite dans la première partie de cette thèse.Qu'il en soit sincèrement remercié.Après avoir accepté d'encadrer mon stage de maîtrise au pied levé, Alexandre Miquel m'a à nouveau accueilli pour m'aider à approcher différemment mon sujet de thèse.Ses qualités scientifiques et pédagogiques ont contribué à améliorer ma compréhension de la sémantique dénotationnelle.Sa capacité tant à proposer une vision globale qu'à passer une journée entière à comprendre pourquoi un diagramme commute m'impressionne encore aujourd'hui.De nombreuses séances de travail avec Alexandre ont eu lieu au sein du laboratoire PPS.Je tiens à remercier l'ensemble des personnes qui ont rendu ces séjours agréables et instructifs.En particulier, je souhaite remercier très vivement Delia Kesner pour nos échanges extrêmement stimulants.Je remercie Emmanuel Hainry et Antoine Reilles de m'avoir incité à utiliser Vim et Mutt qui sont devenus, grâce à eux, mes outils préférés.Je les remercie aussi pour leur aide précieuse lors de la mise en page de ce document. EnseignementDurant ces quatre années passées à Nancy, j'ai eu la chance de côtoyer des élèves et des enseignants qui m'ont donné envie de m'investir avec le plus de sérieux et de dévouement possibles.iv Je tiens tout d'abord à remercier très fortement mes élèves pour avoir accepté de me faire confiance malgré des méthodes de travail parfois originales, dans une période où j'étais encore hésitant 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 pédagogie qui me ressemble soient remerciés.En particulier, Brigitte Jaray s'est attachée à me transmettre une idée de l'enseignement faite d'un savant mélange de rigueur, de plaisir et de liberté.Qu'elle soit assurée de ma sincère gratitude.Je souhaiterais remercier les enseignants qui m'ont donné, lorsque j'étais leur étudiant, l'envie de faire ce métier.Merci à Odile Millet-Botta pour m'avoir fait découvrir 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 réécriture d'ordre supérieur.Pour finir. . .Ce document étant à usage professionnel, je me suis limité aux remerciements directement liés à ce contexte.Néanmoins, 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 énumération à la Prévert).Je trouve rassurant de ne pas savoir ce que je dois réellement à chacun d'eux mais je les remercie très sincèrement pour tout ce que nous avons partagé et partageons.Merci en particulier à ma famille pour son amour.Leur soutient affectif et matériel a toujours été opportun.Merci enfin à Daniel qui a toujours su m'apporter, en plus du reste, une écoute attentive et réconfortante dans mes nombreux moments d'hésitations.

Récupéré en direct depuis OpenAlex et désinversé. Les résumés ne sont pas conservés dans cette base de données : les index inversés représentent 8,6 Go des 9,3 Go de texte de la base, et le serveur dispose de 13 Go libres.