Jean Pierre Jouannaud

Científico informático francés (nacido en 1947)

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

Nació el 21 de mayo de 1947 en Aix-les-Bains (Francia). De 1967 a 1969 visitó la Escuela Politécnica (París). En 1970, 1972 y 1977 escribió su tesis de maestría ( DEA ), tesis de doctorado (Thèse de 3ème cycle), ^[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 cambió a la Universidad de París Sur , 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 Ciencias de la Computación (LICS) 1993-1997, Conferencia de Lógica en Ciencias de la Computación (CSL) 1993-1997, Conferencia Internacional sobre Principios y Práctica de Programación con Restricciones (CP) desde 1994, y Conferencia de Lógica Federada (FLoC) 1995-1999. Desde 1997, es miembro del consejo de 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). "Ordenamiento de descomposición recursiva". Actas de la Conferencia de trabajo IFIP TC2 sobre descripción formal de conceptos de programación, vol. 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". Journal of Symbolic Computation . 8 (5): 449–477. doi : 10.1016/s0747-7171(89)80054-9 .
• N. Dershowitz; J.-P. Jouannaud (1990). "Rewrite Systems". 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}}: Requiere citar revista |journal=( ayuda )
• N. Dershowitz y J.-P. Jouannaud y JW Klop (1991). "Problemas abiertos en la reescritura". En Book, Ronald V. (ed.). Rewriting Techniques and Applications, 4th Int. Conf., RTA-91 . LNCS. Vol. 488. Springer. págs. 445–456.
• Hubert Comon; M. Haberstrau; J.-P. Jouannaud (1992). "Problemas decidibles en teorías ecuacionales superficiales (resumen ampliado)". Séptimo simposio anual del IEEE sobre lógica en informática . págs. 255–265.
• N. Dershowitz; J.-P. Jouannaud; JW Klop (1993). "Más problemas en la reescritura". En Kirchner, Claude (ed.). Técnicas y aplicaciones de reescritura, 5.ª conferencia internacional, RTA-93 . LNCS. Vol. 690. Springer. págs. 468–487.
• Jouannaud, J.-P.; Rubio, A. (1996). "Un ordenamiento de caminos recursivo para términos de orden superior en forma eta-larga beta-normal". En Harald Ganzinger (ed.). Rewriting Techniques and Applications, 7th Int. Conf., RTA-96 . LNCS. Vol. 1103. Springer. págs. 108–122.
• Jouannaud, J.-P. (2005). "Veinte años después". En Giesl, J. (ed.). Reescritura de términos y aplicaciones, 16.ª conferencia internacional, RTA-05 . LNCS. Vol. 3467. Springer. págs. 368–375. ISBN. 978-3-540-25596-3.
• Jouannaud, J.-P. (2006). "Módulo Church-Rosser modular". En Frank Pfenning (ed.). Reescritura de términos y aplicaciones, 17.ª conferencia internacional, RTA-06 . LNCS. Vol. 4098. Springer. págs. 96–107.
• Jouannaud, J.-P.; Rubio, A. (2006). "Ordenamientos de orden superior para reescritura normal". En Frank Pfenning (ed.). Term Rewriting and Applications, 17.ª Conferencia Internacional, RTA-06 . LNCS. Vol. 4098. Springer. 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