Maurice Paul Nivat (21 de diciembre de 1937-21 de septiembre de 2017) fue un informático francés . Su investigación en informática abarcó las áreas de lenguajes formales , semántica de lenguajes de programación y geometría discreta . Una mención de 2006 para un doctorado honorario (Ph.D.) llamó a Nivat uno de los padres de la informática teórica . [1] Fue profesor en la Universidad Paris Diderot hasta 2001.
Profesor Maurice Nivat Doctor. | |
---|---|
![]() Nivat en 2006 | |
Nació | |
Fallecido | 21 de septiembre de 2017 | (79 años)
Nacionalidad | francés |
alma mater | Universidad Joseph Fourier |
Conocido por | Ciencias de la computación teóricas |
Premios | |
Carrera científica | |
Campos | Ciencias de la Computación |
Instituciones | Universidad de Paris |
Tesis | Transducciones de las lenguas Chomsky (1967) |
Asesor de doctorado | Marcel-Paul Schützenberger |
Estudiantes de doctorado | Bruno Courcelle Philippe Flajolet Gérard Huet |
Temprana edad y educación
Nivat nació en Clermont-Ferrand , Francia. Sus padres eran profesores de secundaria; su padre enseñaba idiomas mientras que su madre enseñaba matemáticas. Su hermana, Aline , se convirtió en una matemática notable. [2] En 1954, Nivat se mudó con su familia a París. [2] Nivat fue admitido en la École Normale Supérieure en 1956, pero comenzó a trabajar en el Instituto Blaise Pascal del Centro Nacional Francés de Investigación Científica , un laboratorio de computación recién establecido, en 1959. [1] [2] Regresó a estudiar matemáticas en 1961 bajo la supervisión de Marcel-Paul Schützenberger . [1] Su tesis de 1967 se tituló Transductions des langages de Chomsky "(" Transductions of Chomsky Languages ").
Carrera profesional
En 1969, Nivat se convirtió en profesor en la Universidad Paris Diderot y enseñó hasta 2002. [3] Permaneció como profesor emérito hasta su muerte en 2017.
Participó en muchos esfuerzos en informática teórica en Europa: fue uno de los fundadores de la Asociación Europea de Ciencias de la Computación Teórica (EATCS) en 1972 y organizó el primer coloquio internacional sobre autómatas, lenguajes y programación (ICALP) en la mismo año en el Instituto Francés de Investigación en Ciencias de la Computación y Automatización (INRIA, entonces llamado IRIA) en París. En 1975, fue fundador de la revista Theoretical Computer Science . Fue editor en jefe de la revista durante más de 25 años. [1]
Fue miembro del Grupo de Trabajo 2.1 sobre Lenguajes y Cálculos Algorítmicos de la Federación Internacional para el Procesamiento de la Información (IFIP) , [4] que especifica , apoya y mantiene los lenguajes de programación ALGOL 60 y ALGOL 68 . [5]
Premios
Desde 1983, Nivat fue miembro correspondiente de la Academia de Ciencias de Francia . [2] Nivat también fue oficial de la Legion d'honneur y de la Ordre national du Mérite , y comandante de la Ordre des Palmes Académiques en Francia. Nivat ganó el premio EATCS en 2002. Recibió doctorados honorarios de la Universidad de Bolonia en 1997 [6] y la Universidad de Quebec en Montreal en 2006. [1]
Referencias
- ^ a b c d e "L'UQAM remet sept doctorats honoris causa à des personnalités marquantes: Maurice Nivat" . Archivado desde el original el 3 de marzo de 2016 . Consultado el 4 de septiembre de 2017 .
- ^ a b c d Curien, Pierre-Louis (2002). "Une breve biographie scientifique de Maurice Nivat". Informática Teórica . 281 (1–2): 3–23. doi : 10.1016 / S0304-3975 (02) 00004-X .
- ^ Nivat, Maurice (2002). "Discurso de aceptación del premio EATCS". Boletín de la Asociación Europea de Informática Teórica . 78 : 213–220.
- ^ Jeuring, Johan; Meertens, Lambert ; Guttmann, Walter (17 de agosto de 2016). "Perfil del Grupo de Trabajo 2.1 de IFIP" . Foswiki . Consultado el 4 de junio de 2021 .
- ^ Swierstra, Doaitse; Gibbons, Jeremy ; Meertens, Lambert (2 de marzo de 2011). "ScopeEtc: IFIP21: Foswiki" . Foswiki . Consultado el 4 de junio de 2021 .
- ^ "Laurea Honoris Causa en Informática de la Universidad de Bolonia a Maurice Nivat y Robin Milner" .