1557:
1547:
41:
345:
341:
1806:
948:
1604:
337:
142:
1811:
939:
358:
1791:
1595:
302:
776:
614:
1551:
1796:
1786:
350:
293:, France. His parents were high-school teachers; his father taught languages while his mother taught mathematics. His sister,
1125:
1011:
863:
442:
1801:
1588:
1238:
970:
922:
632:
1233:
366:
305:, a newly established computing laboratory, in 1959. He returned to study mathematics in 1961 under the supervision of
1282:
1162:
1529:
1471:
413:
152:
991:
607:
401:
336:
He was involved in many endeavours in theoretical computer science in Europe: he was one of the founders of the
137:
1581:
258:
298:
306:
212:
583:"Laurea Honoris Causa in Computer Science from the University of Bologna to Maurice Nivat and Robin Milner"
297:, became a notable mathematician. In 1954, Nivat moved with his family to Paris. Nivat was admitted to the
270:
109:
812:
708:
1519:
397:
132:
1107:
807:
791:
744:
600:
389:
122:
1028:
99:
1524:
1001:
906:
330:
278:
1300:
996:
876:
314:
40:
1706:
943:
362:
1382:
1154:
1097:
1006:
965:
890:
801:
409:
147:
1781:
1776:
370:
266:
31:
8:
1416:
1072:
671:
443:"L'UQAM remet sept doctorats honoris causa à des personnalités marquantes: Maurice Nivat"
393:
182:
127:
1736:
1682:
1634:
1392:
1172:
1067:
871:
755:
641:
246:
558:
487:
1561:
1397:
1272:
1167:
1087:
525:
318:
262:
226:
1730:
1491:
1486:
1405:
1287:
554:
521:
483:
474:
Curien, Pierre-Louis (2002). "Une breve biographie scientifique de
Maurice Nivat".
446:
290:
254:
250:
207:
195:
172:
64:
333:
and taught until 2002. He remained as professor emeritus until his death in 2017.
1742:
1616:
1448:
1432:
1424:
1369:
1328:
1253:
1182:
852:
222:
1622:
1748:
1700:
1664:
1504:
1323:
1187:
1120:
1092:
975:
734:
550:
1670:
1210:
230:
1770:
1676:
1652:
1440:
1353:
1261:
1228:
1177:
771:
738:
348:(INRIA, then called IRIA) in Paris. In 1975, he was a founder of the journal
1718:
1712:
1646:
1640:
1481:
1476:
1453:
1387:
1361:
1305:
1277:
1218:
1077:
582:
294:
1694:
1688:
1466:
1374:
1223:
1200:
1195:
1115:
1082:
1062:
1573:
1724:
1658:
1292:
1243:
1205:
704:
699:
1754:
928:
714:
694:
679:
274:
23:
592:
503:
Bulletin of the
European Association of Theoretical Computer Science
1342:
1139:
1050:
934:
Euro-Asian
Council for Standardization, Metrology and Certification
835:
831:
661:
656:
651:
377:
373:
827:
729:
724:
719:
301:
in 1956, but began working at the Blaise Pascal
Institute of the
346:
French
Institute for Research in Computer Science and Automation
1315:
840:
817:
796:
342:
International
Colloquium on Automata, Languages and Programming
189:
68:
916:
846:
822:
786:
749:
684:
623:
405:
933:
780:
766:
760:
689:
354:. He was editor-in-chief of the journal for over 25 years.
548:
501:
Nivat, Maurice (2002). "EATCS Award
Acceptance Speech".
408:
award in 2002. He received honorary doctorates from the
519:
338:
388:
Since 1983, Nivat was a corresponding member of the
245:(21 December 1937 – 21 September 2017) was a French
1542:^ = full name and link in prior ALGOL version above
940:
International
Federation for Information Processing
359:
International
Federation for Information Processing
1768:
1807:Commandeurs of the Ordre des Palmes Académiques
779:(ESPOL) → New Executive Programming Language (
303:French National Centre for Scientific Research
1589:
608:
949:Society of Applied Mathematics and Mechanics
365:on Algorithmic Languages and Calculi, which
777:Executive Systems Problem Oriented Language
284:
269:(Ph.D.) called Nivat one of the fathers of
1596:
1582:
615:
601:
39:
1792:Members of the French Academy of Sciences
1603:
1812:Officers of the Ordre national du MĂ©rite
469:
467:
465:
463:
392:. Nivat was also an officer of both the
340:(EATCS) in 1972 and organized the first
344:(ICALP) conference in the same year at
1769:
473:
437:
435:
433:
431:
429:
1577:
1012:Massachusetts Institute of Technology
622:
596:
500:
460:
329:In 1969, Nivat became a professor at
311:Transductions des langages de Chomsky
16:French computer scientist (1937–2017)
923:Association for Computing Machinery
845:Small Machine ALGOL Like Language (
526:"Profile of IFIP Working Group 2.1"
426:
13:
265:. A 2006 citation for an honorary
196:Transductions of Chomsky Languages
14:
1823:
524:; Guttmann, Walter (2016-08-17).
1797:Grenoble Alpes University alumni
1787:Scientists from Clermont-Ferrand
1556:
1555:
1546:
1545:
414:University of Quebec at Montreal
153:University of Quebec at Montreal
309:. His 1967 thesis was entitled
1520:ALGOL 58 influence on ALGOL 60
575:
542:
513:
494:
369:, supports, and maintains the
259:programming language semantics
1:
488:10.1016/S0304-3975(02)00004-X
419:
992:Case Institute of Technology
476:Theoretical Computer Science
402:Ordre des Palmes Académiques
351:Theoretical Computer Science
271:theoretical computer science
138:Ordre des Palmes Académiques
110:Theoretical computer science
7:
1525:ALGOL 68 to other languages
559:"ScopeEtc: IFIP21: Foswiki"
10:
1828:
1802:French computer scientists
390:French Academy of Sciences
307:Marcel-Paul SchĂĽtzenberger
213:Marcel-Paul SchĂĽtzenberger
123:French Academy of Sciences
1612:
1537:
1513:
1341:
1314:
1147:
1138:
1106:
1058:
1049:
1042:
1029:Royal Radar Establishment
1021:
984:
958:
905:
898:
889:
862:
670:
640:
631:
404:in France. Nivat won the
400:, and a commander of the
383:
324:
236:
218:
206:
188:
178:
168:
161:
115:
105:
100:Joseph Fourier University
95:
87:
75:
50:
38:
21:
1002:University of St Andrews
398:Ordre national du MĂ©rite
331:Paris Diderot University
299:École normale supérieure
285:Early life and education
279:University Paris Diderot
133:Ordre national du MĂ©rite
1301:Adriaan van Wijngaarden
997:University of Edinburgh
877:Van Wijngaarden grammar
357:He was a member of the
944:IFIP Working Group 2.1
363:IFIP Working Group 2.1
1383:Cornelis H. A. Koster
1155:Roland Carl Backhouse
1098:Joseph Henry Wegstein
1007:Manchester University
966:Burroughs Corporation
410:University of Bologna
371:programming languages
253:spanned the areas of
148:University of Bologna
549:Swierstra, Doaitse;
1417:Willem van der Poel
1073:Hermann Bottenbruch
183:University of Paris
1562:Category: ALGOL 60
1393:Charles H. Lindsey
1173:Edsger W. Dijkstra
1068:Friedrich L. Bauer
756:Dartmouth ALGOL 30
289:Nivat was born in
249:. His research in
247:computer scientist
243:Maurice Paul Nivat
1764:
1763:
1571:
1570:
1500:
1499:
1462:
1461:
1398:Barry J. Mailloux
1337:
1336:
1273:Jacob T. Schwartz
1168:Stephen R. Bourne
1134:
1133:
1088:Heinz Rutishauser
1038:
1037:
885:
884:
555:Meertens, Lambert
522:Meertens, Lambert
319:Chomsky Languages
263:discrete geometry
240:
239:
227:Philippe Flajolet
219:Doctoral students
163:Scientific career
79:21 September 2017
1819:
1598:
1591:
1584:
1575:
1574:
1559:
1558:
1549:
1548:
1492:John C. Reynolds
1437:van Wijngaarden^
1406:Lambert Meertens
1288:Bernard Vauquois
1145:
1144:
1126:Robert M. Graham
1056:
1055:
1047:
1046:
971:Elliott Brothers
903:
902:
896:
895:
638:
637:
617:
610:
603:
594:
593:
587:
586:
579:
573:
572:
570:
569:
546:
540:
539:
537:
536:
520:Jeuring, Johan;
517:
511:
510:
498:
492:
491:
471:
458:
457:
455:
454:
445:. Archived from
439:
412:in 1997 and the
394:Legion d'honneur
291:Clermont-Ferrand
255:formal languages
251:computer science
208:Doctoral advisor
202:
173:Computer science
128:Legion d'honneur
82:
65:Clermont-Ferrand
61:21 December 1937
60:
58:
43:
19:
18:
1827:
1826:
1822:
1821:
1820:
1818:
1817:
1816:
1767:
1766:
1765:
1760:
1608:
1602:
1572:
1567:
1552:Category: ALGOL
1544:
1533:
1530:ALGOL 68 to C++
1509:
1496:
1458:
1449:Philip Woodward
1433:Michel Sintzoff
1425:Douglas T. Ross
1333:
1329:Kristen Nygaard
1310:
1254:John E. L. Peck
1183:Robert W. Floyd
1130:
1102:
1034:
1017:
980:
954:
908:
881:
872:Jensen's device
858:
745:Burroughs ALGOL
666:
643:
633:Implementations
627:
621:
591:
590:
581:
580:
576:
567:
565:
551:Gibbons, Jeremy
547:
543:
534:
532:
518:
514:
499:
495:
472:
461:
452:
450:
441:
440:
427:
422:
386:
327:
287:
229:
225:
223:Bruno Courcelle
200:
157:
96:Alma mater
80:
71:
62:
56:
54:
46:
34:
29:
26:
17:
12:
11:
5:
1825:
1815:
1814:
1809:
1804:
1799:
1794:
1789:
1784:
1779:
1762:
1761:
1759:
1758:
1752:
1746:
1740:
1734:
1728:
1722:
1716:
1710:
1704:
1698:
1692:
1686:
1680:
1674:
1668:
1662:
1656:
1650:
1644:
1638:
1632:
1626:
1620:
1613:
1610:
1609:
1601:
1600:
1593:
1586:
1578:
1569:
1568:
1566:
1565:
1538:
1535:
1534:
1532:
1527:
1522:
1517:
1515:
1511:
1510:
1508:
1507:
1505:ALGOL Bulletin
1501:
1498:
1497:
1495:
1494:
1489:
1484:
1479:
1474:
1469:
1463:
1460:
1459:
1457:
1456:
1451:
1446:
1443:
1438:
1435:
1430:
1427:
1422:
1419:
1414:
1411:
1408:
1403:
1400:
1395:
1390:
1385:
1380:
1377:
1372:
1367:
1364:
1359:
1356:
1351:
1347:
1345:
1339:
1338:
1335:
1334:
1332:
1331:
1326:
1324:Ole-Johan Dahl
1320:
1318:
1312:
1311:
1309:
1308:
1303:
1298:
1295:
1290:
1285:
1280:
1275:
1270:
1267:
1264:
1259:
1256:
1251:
1246:
1241:
1239:Carroll Morgan
1236:
1231:
1226:
1221:
1216:
1213:
1208:
1203:
1198:
1193:
1190:
1188:Jeremy Gibbons
1185:
1180:
1175:
1170:
1165:
1160:
1157:
1152:
1148:
1142:
1136:
1135:
1132:
1131:
1129:
1128:
1123:
1121:Bernard Galler
1118:
1112:
1110:
1104:
1103:
1101:
1100:
1095:
1093:Klaus Samelson
1090:
1085:
1080:
1075:
1070:
1065:
1059:
1053:
1044:
1040:
1039:
1036:
1035:
1033:
1032:
1025:
1023:
1019:
1018:
1016:
1015:
1009:
1004:
999:
994:
988:
986:
982:
981:
979:
978:
976:Regnecentralen
973:
968:
962:
960:
956:
955:
953:
952:
946:
937:
931:
926:
920:
913:
911:
900:
893:
887:
886:
883:
882:
880:
879:
874:
868:
866:
860:
859:
857:
856:
850:
843:
838:
825:
820:
815:
810:
805:
799:
794:
789:
784:
774:
769:
764:
758:
753:
747:
742:
735:Atlas Autocode
732:
727:
722:
717:
712:
702:
697:
692:
687:
682:
676:
674:
668:
667:
665:
664:
659:
654:
648:
646:
635:
629:
628:
620:
619:
612:
605:
597:
589:
588:
574:
557:(2011-03-02).
541:
512:
493:
459:
424:
423:
421:
418:
385:
382:
326:
323:
286:
283:
238:
237:
234:
233:
220:
216:
215:
210:
204:
203:
192:
186:
185:
180:
176:
175:
170:
166:
165:
159:
158:
156:
155:
150:
145:
140:
135:
130:
125:
119:
117:
113:
112:
107:
106:Known for
103:
102:
97:
93:
92:
89:
85:
84:
83:(aged 79)
77:
73:
72:
63:
52:
48:
47:
44:
36:
35:
30:
27:
22:
15:
9:
6:
4:
3:
2:
1824:
1813:
1810:
1808:
1805:
1803:
1800:
1798:
1795:
1793:
1790:
1788:
1785:
1783:
1780:
1778:
1775:
1774:
1772:
1756:
1753:
1750:
1747:
1744:
1741:
1738:
1735:
1732:
1729:
1726:
1723:
1720:
1717:
1714:
1711:
1708:
1707:Papadimitriou
1705:
1702:
1699:
1696:
1693:
1690:
1687:
1684:
1681:
1678:
1675:
1672:
1669:
1666:
1663:
1660:
1657:
1654:
1651:
1648:
1645:
1642:
1639:
1636:
1633:
1630:
1627:
1624:
1621:
1618:
1615:
1614:
1611:
1606:
1599:
1594:
1592:
1587:
1585:
1580:
1579:
1576:
1564:
1563:
1554:
1553:
1543:
1540:
1539:
1536:
1531:
1528:
1526:
1523:
1521:
1518:
1516:
1512:
1506:
1503:
1502:
1493:
1490:
1488:
1487:Peter O'Hearn
1485:
1483:
1480:
1478:
1475:
1473:
1470:
1468:
1465:
1464:
1455:
1452:
1450:
1447:
1444:
1442:
1441:Niklaus Wirth
1439:
1436:
1434:
1431:
1428:
1426:
1423:
1420:
1418:
1415:
1412:
1409:
1407:
1404:
1401:
1399:
1396:
1394:
1391:
1389:
1386:
1384:
1381:
1378:
1376:
1373:
1371:
1368:
1365:
1363:
1360:
1357:
1355:
1354:Susan G. Bond
1352:
1349:
1348:
1346:
1344:
1340:
1330:
1327:
1325:
1322:
1321:
1319:
1317:
1313:
1307:
1304:
1302:
1299:
1296:
1294:
1291:
1289:
1286:
1284:
1281:
1279:
1276:
1274:
1271:
1268:
1265:
1263:
1262:Brian Randell
1260:
1257:
1255:
1252:
1250:
1249:Maurice Nivat
1247:
1245:
1242:
1240:
1237:
1235:
1234:John McCarthy
1232:
1230:
1229:Conor McBride
1227:
1225:
1222:
1220:
1217:
1214:
1212:
1209:
1207:
1204:
1202:
1199:
1197:
1194:
1191:
1189:
1186:
1184:
1181:
1179:
1178:Andrey Ershov
1176:
1174:
1171:
1169:
1166:
1164:
1161:
1158:
1156:
1153:
1150:
1149:
1146:
1143:
1141:
1137:
1127:
1124:
1122:
1119:
1117:
1114:
1113:
1111:
1109:
1105:
1099:
1096:
1094:
1091:
1089:
1086:
1084:
1081:
1079:
1076:
1074:
1071:
1069:
1066:
1064:
1061:
1060:
1057:
1054:
1052:
1048:
1045:
1041:
1030:
1027:
1026:
1024:
1020:
1013:
1010:
1008:
1005:
1003:
1000:
998:
995:
993:
990:
989:
987:
983:
977:
974:
972:
969:
967:
964:
963:
961:
957:
950:
947:
945:
941:
938:
935:
932:
930:
927:
924:
921:
918:
915:
914:
912:
910:
904:
901:
899:Organizations
897:
894:
892:
888:
878:
875:
873:
870:
869:
867:
865:
861:
854:
851:
848:
844:
842:
839:
837:
833:
829:
826:
824:
821:
819:
816:
814:
811:
809:
806:
803:
800:
798:
795:
793:
790:
788:
785:
782:
778:
775:
773:
772:Elliott ALGOL
770:
768:
765:
762:
759:
757:
754:
751:
748:
746:
743:
740:
739:Edinburgh IMP
736:
733:
731:
728:
726:
723:
721:
718:
716:
713:
710:
706:
703:
701:
698:
696:
693:
691:
688:
686:
683:
681:
678:
677:
675:
673:
669:
663:
660:
658:
655:
653:
650:
649:
647:
645:
639:
636:
634:
630:
625:
618:
613:
611:
606:
604:
599:
598:
595:
584:
578:
564:
560:
556:
552:
545:
531:
527:
523:
516:
508:
504:
497:
489:
485:
482:(1–2): 3–23.
481:
477:
470:
468:
466:
464:
449:on 2016-03-03
448:
444:
438:
436:
434:
432:
430:
425:
417:
415:
411:
407:
403:
399:
395:
391:
381:
379:
375:
372:
368:
364:
360:
355:
353:
352:
347:
343:
339:
334:
332:
322:
320:
316:
315:Transductions
312:
308:
304:
300:
296:
292:
282:
280:
276:
272:
268:
264:
260:
256:
252:
248:
244:
235:
232:
228:
224:
221:
217:
214:
211:
209:
205:
198:
197:
193:
191:
187:
184:
181:
177:
174:
171:
167:
164:
160:
154:
151:
149:
146:
144:
141:
139:
136:
134:
131:
129:
126:
124:
121:
120:
118:
114:
111:
108:
104:
101:
98:
94:
90:
86:
78:
74:
70:
66:
53:
49:
45:Nivat in 2006
42:
37:
33:
28:Maurice Nivat
25:
20:
1683:Trakhtenbrot
1628:
1560:
1550:
1541:
1482:Ron Morrison
1477:Tony Brooker
1454:Nobuo Yoneda
1388:Peter Landin
1370:Gerhard Goos
1362:Robert Dewar
1306:Mike Woodger
1283:David Turner
1278:Micha Sharir
1266:Rutishauser^
1248:
1219:Peter Landin
1192:Julien Green
1163:Richard Bird
1078:Charles Katz
909:associations
907:Professional
577:
566:. Retrieved
562:
544:
533:. Retrieved
529:
515:
506:
502:
496:
479:
475:
451:. Retrieved
447:the original
387:
356:
349:
335:
328:
310:
288:
281:until 2001.
242:
241:
194:
179:Institutions
162:
81:(2017-09-21)
1782:2017 deaths
1777:1937 births
1605:EATCS Award
1472:John Barnes
1467:Hal Abelson
1375:Michael Guy
1224:Tom Maibaum
1211:Jørn Jensen
1201:Eric Hehner
1196:David Gries
1116:Bruce Arden
1083:Alan Perlis
1063:John Backus
626:programming
273:. He was a
231:GĂ©rard Huet
88:Nationality
1771:Categories
1737:Yannakakis
1514:Comparison
1293:Eiiti Wada
1244:Peter Naur
1206:Tony Hoare
1022:Government
864:Formalisms
705:ALGOL 68RS
700:ALGOL 68-R
568:2021-06-04
535:2021-06-04
509:: 213–220.
453:2017-09-04
420:References
57:1937-12-21
1731:Henzinger
1635:Rozenberg
1607:laureates
1429:Samelson^
1402:McCarthy^
1366:Dijkstra^
1297:Wegstein^
1269:Samelson^
985:Education
929:BSI Group
891:Community
802:Kidsgrove
715:ALGOL 68S
695:ALGOL 68C
680:ABC ALGOL
644:standards
642:Technical
416:in 2006.
367:specified
275:professor
267:doctorate
24:Professor
1677:Mehlhorn
1653:Paterson
1445:Woodger^
1421:Randell^
1343:ALGOL 68
1140:ALGOL 60
1051:ALGOL 58
959:Business
836:Napier88
832:PS-algol
672:Dialects
662:ALGOL 68
657:ALGOL 60
652:ALGOL 58
396:and the
378:ALGOL 68
374:ALGOL 60
1743:Pitassi
1701:Plotkin
1665:Valiant
1641:Salomaa
1358:Bourne^
1258:Perlis^
1151:Backus^
942:(IFIP)
828:S-algol
730:ALGOL X
725:ALGOL W
720:ALGOL N
563:Foswiki
530:Foswiki
361:(IFIP)
277:at the
1757:(2023)
1751:(2022)
1749:Cousot
1745:(2021)
1739:(2020)
1733:(2019)
1727:(2018)
1721:(2017)
1719:Tardos
1715:(2016)
1709:(2015)
1703:(2014)
1697:(2013)
1691:(2012)
1685:(2011)
1679:(2010)
1673:(2009)
1667:(2008)
1661:(2007)
1655:(2006)
1649:(2005)
1647:Milner
1643:(2004)
1637:(2003)
1631:(2002)
1625:(2001)
1619:(2000)
1379:Hoare^
1350:Bauer^
1316:Simula
1159:Bauer^
1043:People
951:(GAMM)
936:(EASC)
841:Simula
818:NELIAC
797:JOVIAL
384:Awards
325:Career
261:, and
201:(1967)
199:
190:Thesis
169:Fields
116:Awards
91:French
69:France
1725:Nisan
1713:Kozen
1689:Vardi
1659:Scott
1629:Nivat
1413:Peck^
1410:Naur^
1215:Katz^
1031:(RRE)
1014:(MIT)
925:(ACM)
919:Group
917:ALCOR
855:ALGOL
847:SMALL
823:RTL/2
804:Algol
787:FLACC
763:ALGOL
750:CORAL
685:ALCOR
624:ALGOL
406:EATCS
295:Aline
143:EATCS
32:Ph.D.
1755:Fiat
1695:Dyer
1671:Huet
1623:Böhm
1617:Karp
853:SMIL
813:Mary
781:NEWP
767:DG/L
761:DASK
709:ELLA
690:ALGO
376:and
321:").
76:Died
51:Born
1108:MAD
808:MAD
792:IMP
484:doi
480:281
317:of
1773::
834:,
830:,
752:66
561:.
553:;
528:.
507:78
505:.
478:.
462:^
428:^
380:.
313:("
257:,
67:,
1597:e
1590:t
1583:v
849:)
783:)
741:)
737:(
711:)
707:(
616:e
609:t
602:v
585:.
571:.
538:.
490:.
486::
456:.
59:)
55:(
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.
.jpg)