Jean-Pierre Jouannaud

Informático francés (nacido en 1947)

Jean-Pierre Jouannaud es un informático francés, conocido por su trabajo en el área de la reescritura de términos .

Nació el 21 de mayo de 1947 en Aix-les-Bains (Francia). De 1967 a 1969 visitó la Ecole Polytechnique (París). En 1970, 1972 y 1977, escribió su tesis de maestría ( DEA ), tesis doctoral (Thèse de 3ème ciclo) ^[1] y tesis de habilitación ( Thèse d'état ), ^[2] respectivamente, en la Universidad de París VI. . ^{[3] : 724} En 1979, se convirtió en profesor asociado en la Universidad de Nancy ; En 1985 se trasladó a la Université de Paris-Sud , donde se convirtió en profesor titular en 1986.

Fue miembro del comité directivo de varias conferencias internacionales de informática: Conferencia internacional sobre técnicas y aplicaciones de reescritura (RTA) 1989-1994, Simposio IEEE sobre lógica en informática (LICS) 1993-1997, Conferencia sobre lógica informática (CSL) 1993–1997, Conferencia Internacional sobre Principios y Práctica de la Programación de Restricciones (CP) desde 1994, y Conferencia de Lógica Federada (FLoC) 1995–1999. Desde 1997 es miembro del consejo de la EATCS . ^[4]

Publicaciones Seleccionadas

• Jean Pierre Jouannaud; Pierre Lescanne (septiembre de 1982). "Sobre pedidos de conjuntos múltiples" (PDF) . inf. Proceso. Letón. 15 (2): 57–63. doi :10.1016/0020-0190(82)90107-7.
• JP Jouannaud; P. Lescanne; F. Reinig (1982). "Orden de descomposición recursiva". Proc. Conferencia de trabajo IFIP TC2. sobre descripción formal de conceptos de programación, volumen II (PDF) . Holanda del Norte. págs. 331–348.
• Jouannaud, Jean-Pierre, ed. (1985). Técnicas y Aplicaciones de Reescritura, 1º Int. Conf., RTA-85 . LNCS. vol. 202. Saltador.
• A. Boudet; JP Jouannaud; M. Schmidt-Schauß (1989). "Unificación en anillos booleanos y grupos abelianos". Revista de Computación Simbólica . 8 (5): 449–477. doi : 10.1016/s0747-7171(89)80054-9 .
• N. Dershowitz; J.-P. Jouannaud (1990). "Reescribir sistemas". En Jan van Leeuwen (ed.). Modelos formales y semántica . Manual de informática teórica. vol. B. Elsevier. págs. 243–320.
• N. Dershowitz; J.-P. Jouannaud (1990). "Notaciones para reescribir". {{cite journal}}: Citar diario requiere |journal=( ayuda )
• N. Dershowitz y J.-P. Jouannaud y JW Klop (1991). "Problemas abiertos al reescribir". En Libro, Ronald V. (ed.). Técnicas y Aplicaciones de Reescritura, 4to Int. Conf., RTA-91 . LNCS. vol. 488. Saltador. págs. 445–456.
• Hubert Comon; M. Haberstrau; J.-P. Jouannaud (1992). "Problemas decidibles en teorías de ecuaciones superficiales (resumen ampliado)". Séptimo Simposio Anual del IEEE sobre Lógica en Ciencias de la Computación . págs. 255–265.
• N. Dershowitz; J.-P. Jouannaud; JW Klop (1993). "Más problemas al reescribir". En Kirchner, Claude (ed.). Técnicas y Aplicaciones de Reescritura, 5to Int. Conf., RTA-93 . LNCS. vol. 690. Saltador. págs. 468–487.
• Jouannaud, J.-P.; Rubio, A. (1996). "Un orden de ruta recursiva para términos de orden superior en forma eta-larga beta-normal". En Harald Ganzinger (ed.). Técnicas y aplicaciones de reescritura, 7º Int. Conf., RTA-96 . LNCS. vol. 1103. Saltador. págs. 108-122.
• Jouannaud, J.-P. (2005). "Veinte años después". En Giesl, J. (ed.). Reescritura de términos y aplicaciones, 16º Int. Conf., RTA-05 . LNCS. vol. 3467. Saltador. págs. 368–375. ISBN 978-3-540-25596-3.
• Jouannaud, J.-P. (2006). "Iglesia Modular-Módulo Rosser". En Frank Pfenning (ed.). Reescritura de términos y aplicaciones, 17º Int. Conf., RTA-06 . LNCS. vol. 4098. Saltador. págs. 96-107.
• Jouannaud, J.-P.; Rubio, A. (2006). "Pedidos de orden superior para reescritura normal". En Frank Pfenning (ed.). Reescritura de términos y aplicaciones, 17º Int. Conf., RTA-06 . LNCS. vol. 4098. Saltador. págs. 387–399.

Referencias

1. Filtros digitales autoadaptativos: algoritmos de cálculo y simulación - registro en WorldCat
2. Sur l'inférence et la synthèse automatiques de fonctions LISP à partir d'exemples - registro en WorldCat
3. Jean-Louis Lassez; Gordon Plotkin , eds. (1991). Lógica computacional: ensayos en honor a Alan Robinson . Cambridge/MA: MIT Press. ISBN 978-0-262-12156-9.
4. Vida

enlaces externos

• Página de inicio en Laboratoire d'Informatique (LIX), École Polytechnique , Palaiseau
• Jean-Pierre Jouannaud en el servidor de bibliografía DBLP