Niva, Maurice

Maurice Niva
Maurice Nivat
Numele la naștere fr.  Maurice Paul Nivat [1]
Data nașterii 21 decembrie 1937( 21.12.1937 ) [1]
Locul nașterii Clermont-Ferrand
Data mortii 21 septembrie 2017( 21.09.2017 ) [2] [3] [1] (în vârstă de 79 de ani)
Un loc al morții
Țară
Sfera științifică Informatica
Loc de munca Universitatea din Paris
Alma Mater Universitatea din Grenoble 1
Grad academic doctorat [4] ( 1967 )
consilier științific Marcel-Paul Schutzenberger
Elevi Luis Fariñas del Cerro [d] [5], Guy Vidal-Naquet [d] [5], Jean-Jacques Lévy [d] [5]și Luc Boasson [d] [5]
Premii și premii Premiul Asociației Europene pentru Informatică Teoretică [d] ( 2002 ) doctor onorific al Universității din Bologna [d] ( 1997 )
 Fișiere media la Wikimedia Commons

Maurice Paul Nivat ( fr.  Maurice Paul Nivat ) este un informatician și informatician francez . Cercetările sale acoperă domeniul limbajelor formale , semantica limbajelor de programare și geometria discretă . În 2006, Maurice Neave, doctor onorific în științe, a fost numit părintele informaticii teoretice . [6] A fost profesor la Universitatea Diderot din Paris până în 2001.

Primii ani și educație

Maurice Niva s-a născut în Clermont-Ferrand , Franța. Părinții lui erau profesori de liceu, tatăl său preda limbi străine, iar mama sa preda matematică. [7] În 1954, Niva s-a mutat la Paris împreună cu familia. [6] [7] Niva a intrat în 1956 la Școala Normală Superioară , dar a început să lucreze la Institut. Blaise Pascal de la Centrul Național de Cercetare Științifică din Franța , un laborator de calcul nou înființat, în 1959. [6] [7] S-a întors la studiul matematicii în 1961 sub îndrumarea lui Marcel-Paul Schützenberger. [6] Titlul tezei sale a fost Transductions des langages de Chomsky .

Cariera

În 1969, Niva a devenit profesor la Universitatea Diderot din Paris și a predat până în 2002. [opt]

Niva a fost implicat în multe inițiative în domeniul informaticii teoretice în Europa: a fost unul dintre fondatorii EATCS în 1972, a organizat prima conferință ICALPîn același an la INRIA (pe atunci IRIA) la Paris. În 1975 a fost unul dintre fondatorii revistei Theoretical Computer Science. A fost redactor al revistei principale timp de peste 25 de ani. [6]

Premii

Din 1983, Niva este membru corespondent al Academiei Franceze de Științe . [7] Este ofițer al Legiunii de Onoare și al Ordinului de Merit (Franța) , precum și comandant al Ordinului Palmierii Academice din Franța. A primit premiul EATCS în 2002. A primit un doctorat onorific de la Universitatea din Bologna în 1997 [9] și de la Universitatea din Quebec din Montreal în 2006. [6]

Note

  1. ↑ 1 2 3 4 Fichier des personnes décédées
  2. ↑ http://binaire.blog.lemonde.fr/2017/09/22/ciao-maurice/
  3. ↑ http://www.amitiefrancecoree.org/2017/09/les-notres-disparition-du-chercheur-maurice-nivat.html
  4. ↑ http://www.sudoc.fr/007285353
  5. ↑ 1 2 3 4 Genealogie matematică  (engleză) - 1997.
  6. ↑ 1 2 3 4 5 6 L'UQAM remet sept doctorats honoris causa à des personnalités marquantes: Maurice Nivat (link indisponibil) . Arhivat din original pe 3 martie 2016. 
  7. ↑ 1 2 3 4 Curien, Pierre-Louis. Une breve biographie scientifique de Maurice Nivat  (engleză)  // Informatică teoretică . - 2002. - Vol. 281 . - P. 3-23 . - doi : 10.1016/S0304-3975(02)00004-X .
  8. ↑ Nivat, Maurice. Discurs de acceptare a premiului EATCS  // Informatică  teoretică. - 2002. - Vol. 78 . - P. 213-220 .
  9. ↑ Laurea Honoris Causa în Informatică de la Universitatea din Bologna către Maurice Nivat și Robin Milner . Preluat la 22 decembrie 2016. Arhivat din original la 23 mai 2016.
  Accesați articolul Wikidata  Site-uri tematice