जीन-पियरे जौनॉड
Jean-Pierre Jouannaud | |
---|---|
जन्म | |
पुरस्कार | CNRS Silver Medal 1986, Prix Michel Montpetit 2000 |
Scientific career | |
Theses |
|
Website | www |
जीन-पियरे जौनॉड एक फ्रांसीसी कंप्यूटर वैज्ञानिक हैं, जो शब्द पुनर्लेखन के क्षेत्र में अपने काम के लिए जाने जाते हैं।
उनका जन्म 21 मई 1947 को ऐक्स लेस बैंस (फ्रांस) में हुआ था। 1967 से 1969 तक उन्होंने बहुशिल्प विश्वविद्यालय (पेरिस) का दौरा किया। 1970, 1972 और 1977 में, उन्होंने अपनी मास्टर थीसिस (उन्नत अध्ययन के मास्टर#फ्रांस और फ़्रैंकोफ़ोन देश), पीएचडी थीसिस (थेसे डी 3एमे चक्र), लिखी।[1] और हैबिलिटेशन थीसिस (राज्य थीसिस),[2] क्रमशः, पेरिस VI विश्वविद्यालय में।[3]: 724 1979 में, वह नैन्सी विश्वविद्यालय में एसोसिएट प्रोफेसर बन गये; 1985 में वे यूनिवर्सिटि डे पेरिस-सूड में बदल गए, जहां वे 1986 में पूर्ण प्रोफेसर बन गए।
वह कई अंतरराष्ट्रीय कंप्यूटर विज्ञान सम्मेलनों की संचालन समिति के सदस्य थे: पुनर्लेखन तकनीकों और अनुप्रयोगों पर अंतर्राष्ट्रीय सम्मेलन (आरटीए) 1989-1994, कंप्यूटर विज्ञान में तर्क पर आईईईई संगोष्ठी (एलआईसीएस) 1993-1997, कंप्यूटर विज्ञान तर्क सम्मेलन (सीएसएल) 1993-1997, 1994 से बाधा प्रोग्रामिंग (सीपी) के सिद्धांतों और अभ्यास पर अंतर्राष्ट्रीय सम्मेलन, और फ़ेडरेटेड लॉजिक सम्मेलन (एफएलओसी) 1995-1999। 1997 से, वह EATCS परिषद के सदस्य हैं।[4]
चयनित प्रकाशन
- Jean Pierre Jouannaud; Pierre Lescanne (Sep 1982). "मल्टीसेट ऑर्डरिंग पर" (PDF). Inf. Process. Lett. 15 (2): 57–63. doi:10.1016/0020-0190(82)90107-7.
- J.P. Jouannaud; P. Lescanne; F. Reinig (1982). "Recursive Decomposition Ordering". प्रोक. IFIP TC2 वर्किंग कॉन्फ़. प्रोग्रामिंग अवधारणाओं के औपचारिक विवरण पर, खंड II (PDF). North-Holland. pp. 331–348.
- Jouannaud, Jean-Pierre, ed. (1985). पुनर्लेखन तकनीक और अनुप्रयोग, प्रथम अंतर्राष्ट्रीय। सम्मेलन, आरटीए-85. LNCS. Vol. 202. Springer.
- A. Boudet; J.P. Jouannaud; M. Schmidt-Schauß (1989). "बूलियन रिंग्स और एबेलियन समूहों में एकीकरण". Journal of Symbolic Computation. 8 (5): 449–477. doi:10.1016/s0747-7171(89)80054-9.
- N. Dershowitz; J.-P. Jouannaud (1990). "Rewrite Systems". In Jan van Leeuwen (ed.). औपचारिक मॉडल और शब्दार्थ. Handbook of Theoretical Computer Science. Vol. B. Elsevier. pp. 243–320.
- N. Dershowitz; J.-P. Jouannaud (1990). "पुनर्लेखन के लिए सूचनाएँ".
{{cite journal}}
: Cite journal requires|journal=
(help) - N. Dershowitz and J.-P. Jouannaud and J.W. Klop (1991). "Open Problems in Rewriting". In Book, Ronald V. (ed.). पुनर्लेखन तकनीक और अनुप्रयोग, चौथा अंतर्राष्ट्रीय। सम्मेलन, आरटीए-91. LNCS. Vol. 488. Springer. pp. 445–456.
- Hubert Comon; M. Haberstrau; J.-P. Jouannaud (1992). "Decidable Problems in Shallow Equational Theories (Extended Abstract)". कंप्यूटर विज्ञान में तर्क पर सातवीं वार्षिक आईईईई संगोष्ठी. pp. 255–265.
- N. Dershowitz; J.-P. Jouannaud; J.W. Klop (1993). "More Problems in Rewriting". In Kirchner, Claude (ed.). पुनर्लेखन तकनीक और अनुप्रयोग, 5वीं अंतर्राष्ट्रीय। सम्मेलन, आरटीए-93. LNCS. Vol. 690. Springer. pp. 468–487.
- Jouannaud, J.-P.; Rubio, A. (1996). "A Recursive Path Ordering for Higher-Order Terms in eta-Long beta-Normal Form". In Harald Ganzinger (ed.). पुनर्लेखन तकनीक और अनुप्रयोग, 7वाँ अंतर्राष्ट्रीय। सम्मेलन, आरटीए-96. LNCS. Vol. 1103. Springer. pp. 108–122.
- Jouannaud, J.-P. (2005). "Twenty Years Later". In Giesl, J. (ed.). टर्म पुनर्लेखन और अनुप्रयोग, 16वाँ अंतर्राष्ट्रीय। सम्मेलन, आरटीए-05. LNCS. Vol. 3467. Springer. pp. 368–375. ISBN 978-3-540-25596-3.
- Jouannaud, J.-P. (2006). "Modular Church-Rosser Modulo". In Frank Pfenning (ed.). टर्म पुनर्लेखन और अनुप्रयोग, 17वाँ अंतर्राष्ट्रीय। सम्मेलन, आरटीए-06. LNCS. Vol. 4098. Springer. pp. 96–107.
- Jouannaud, J.-P.; Rubio, A. (2006). "Higher-Order Orderings for Normal Rewriting". In Frank Pfenning (ed.). टर्म पुनर्लेखन और अनुप्रयोग, 17वाँ अंतर्राष्ट्रीय। सम्मेलन, आरटीए-06. LNCS. Vol. 4098. Springer. pp. 387–399.
संदर्भ
- ↑ Filtres digitaux autoadaptifs: algorithmes de calcul et simulation — record at WorldCat
- ↑ Sur l'inférence et la synthèse automatiques de fonctions LISP à partir d'exemples — record at WorldCat
- ↑ Jean-Louis Lassez; Gordon Plotkin, eds. (1991). Computational Logic — Essays in Honor of Alan Robinson. Cambridge/MA: MIT Press. ISBN 978-0-262-12156-9.
- ↑ Vita
बाहरी संबंध
- Home page at Laboratoire d'Informatique (LIX), École Polytechnique, Palaiseau
- {{DBLP}} template missing ID and not present in Wikidata.