33:
1659:
986:
377:
Over the past twenty years, his work has focused on rigorous component-based design using the BIP component framework and more recently the design of trustworthy autonomous systems, self-driving cars in particular.
974:
316:
Sifakis worked on system verification and the application of formal methods to system design. In his state doctorate he studied the principles of the algorithmic verification method known later as
1669:
289:
Sifakis held the INRIA-Schneider endowed industrial chair (2008–2011) and has been a full professor and the
Director of the «Rigorous System Design Laboratory » at the
911:
896:
294:
145:
1102:
975:
https://academie-technologies-prod.s3.amazonaws.com/2020/06/24/06/46/20/8f0cbef7-2ba0-4ed4-be6f-cc9467251a42/LISTE%20MEMBRES%20AVEC%20COLLEGES%202020%20MAJ230620.pdf
328:
251:
1654:
282:
conference, organized for the first time in
Grenoble in 1989. He has been the coordinator of the ARTIST European Network of Excellence for research on
1664:
508:
There were two science universities in
Grenoble: the Université scientifique et médicale de Grenoble (USMG, Grenoble-1), which was later renamed to
926:"Joseph Sifakis | Liste des membres de l'Académie des sciences / S | Listes par ordre alphabétique | Listes des membres | Membres | Nous connaître"
335:
has collaborated with Airbus and
Schneider Electric to develop methods and tools for the development of safety critical systems, in particular the
224:
111:
87:
675:
Alur, R.; Courcoubetis, C.; Halbwachs, N.; Henzinger, T. A.; Ho, P. -H.; Nicollin, X.; Olivero, A.; Sifakis, J.; Yovine, S. (6 February 1995).
788:
1549:
1095:
925:
1644:
1169:
825:
1440:
513:
399:
1649:
1292:
1088:
461:(phdthesis thesis) (in French). Institut National Polytechnique de Grenoble – INPG; Université Joseph-Fourier – Grenoble I.
1377:
340:
516:(INPG), later renamed to Grenoble-INP. VERIMAG is a joint laboratory of CNRS, Joseph Fourier University and Grenoble-INP.
474:
At the time when Joseph
Sifakis was a graduate student, there existed in France two levels of PhDs, the higher one, the
279:
630:"Radiochemical assay of glutathione S-epoxide transferase and its enhancement by phenobarbital in rat liver in vivo"
509:
874:
320:. In 1982, this technique was applied in Jean-Pierre Queille's PhD to develop the CESAR verification tool.
1639:
1321:
552:
526:
244:
232:
220:
114:
91:
560:
308:
Sifakis has been the
President of the Greek National Council for Research and Technology (2014–2016).
1634:
336:
775:. Lecture Notes in Computer Science. Vol. 900. Berlin, Heidelberg: Springer. pp. 229–242.
1523:
298:
1478:
1343:
1225:
1175:
1163:
831:
180:
1371:
1349:
821:
784:
749:
698:
657:
649:
768:
1545:
1533:
1507:
1462:
1458:
1203:
1197:
813:
776:
739:
729:
688:
641:
344:
283:
271:
228:
192:
188:
131:
602:
588:
1606:
1559:
1539:
1424:
1410:
1339:
1298:
1276:
1219:
1181:
1140:
573:
267:
810:
Fourth IEEE International
Conference on Software Engineering and Formal Methods (SEFM'06)
358:
He has participated to the development of verification tools including the IF toolset,
1594:
1529:
1517:
1495:
1472:
1406:
1333:
1264:
1134:
849:
359:
317:
263:
196:
169:
101:
1628:
1612:
1600:
1569:
1555:
1511:
1452:
1304:
1286:
1282:
1270:
1248:
1146:
1036:
693:
676:
645:
177:
77:
1573:
1327:
1260:
1254:
1193:
1187:
1111:
950:
835:
483:
387:
327:
for fourteen years. Established initially as a mixed industrial laboratory between
184:
32:
1011:
769:"On the synthesis of discrete controllers for timed systems: An extended abstract"
458:
Le contrôle des systèmes asynchrones : concepts, propriétés, analyse statique
367:
262:, of which he is the founder. Sifakis has been a leading figure in the fields of
1501:
1383:
1365:
1359:
1213:
1128:
456:
439:
348:
275:
236:
1080:
805:
1590:
1563:
1446:
1420:
1416:
1400:
1242:
1207:
780:
753:
702:
653:
1436:
1353:
1075:
479:
208:
54:
734:
717:
343:. Sifakis has worked on the verification of timed and hybrid systems with
1430:
1114:
817:
259:
1660:
Research directors of the French
National Centre for Scientific Research
1069:
1064:
716:
Henzinger, T. A.; Nicollin, X.; Sifakis, J.; Yovine, S. (1 June 1994).
444:(phdthesis thesis) (in French). Université Joseph-Fourier – Grenoble I.
332:
324:
302:
255:
744:
352:
216:
173:
73:
62:
661:
629:
290:
212:
58:
363:
141:
1084:
240:
527:"ArtistDesign NoE – Strategic Management Board – Artist2 NoE"
987:"Member Directory | American Academy of Arts and Sciences"
396:
Grand
Officer of the National Order of Merit, France, 2008
414:
Member of the
American Academy of Arts and Sciences, 2015
420:
Foreign member of the Chinese Academy of Sciences, 2019
371:
502:
495:
806:"Modeling Heterogeneous Real-time Components in BIP"
247:, where he also received a state doctorate in 1979.
1583:
1488:
1393:
1314:
1235:
1156:
1121:
804:Basu, A.; Bozga, M.; Sifakis, J. (September 2006).
767:Maler, Oded; Pnueli, Amir; Sifakis, Joseph (1995).
417:
Member of the National Academy of Engineering, 2017
250:He is currently Research Director Emeritus for the
151:
137:
127:
107:
97:
83:
69:
39:
23:
411:Member of the French Academy of Engineering, 2008
339:synchronous programming environment based on the
628:Marniemi, J.; Parkki, M. G. (1 September 1975).
718:"Symbolic Model Checking for Real-Time Systems"
297:(2011–2016). He has been visiting professor at
1670:National Technical University of Athens alumni
478:("state doctorate") being necessary to access
405:Member of the French Academy of Sciences, 2010
1096:
291:School of Computer and Communication Sciences
8:
677:"The algorithmic analysis of hybrid systems"
252:Centre national de la recherche scientifique
1037:"2019年中科院院士增选结果揭晓,64人当选_科学湃_澎湃新闻-The Paper"
912:Journal officiel de la République Française
897:Journal officiel de la République Française
771:. In Mayr, Ernst W.; Puech, Claude (eds.).
1103:
1089:
1081:
31:
20:
1076:https://dblp.org/pid/s/JosephSifakis.html
743:
733:
692:
370:and has developed theory for coping with
909:Decree of 13 July 2011 published in the
587:Evangelista, Sandy (30 September 2011).
347:and the synthesis of timed systems with
146:École Polytechnique Fédérale de Lausanne
894:Decree of 16 May 2008 published in the
551:Nouvelle, L'Usine (18 September 2008).
441:Modèles temporels des systèmes logiques
430:
225:National Technical University of Athens
112:National Technical University of Athens
88:National Technical University of Athens
569:
558:
7:
482:. It has since been replaced by the
470:
468:
951:"Academy of Europe: Sifakis Joseph"
1655:Commanders of the Legion of Honour
14:
438:Sifakis, Joseph (22 March 1974).
408:Member of Academia Europaea, 2008
1665:Grenoble Alpes University alumni
514:Grenoble Institute of Technology
455:Sifakis, Joseph (25 June 1979).
400:Commander of the Legion of Honor
16:Greek-French computer scientist
374:using abstraction techniques.
239:. He received his engineering
1:
393:Leonardo da Vinci Medal, 2012
694:10.1016/0304-3975(94)00202-T
681:Theoretical Computer Science
646:10.1016/0006-2952(75)90080-5
553:"Une chaire Inria-Schneider"
323:Sifakis was the director of
722:Information and Computation
603:"Welcome Sifakis @ SUCTech"
207:Joseph Sifakis was born in
1686:
1012:"Professor Joseph Sifakis"
1645:Scientists from Heraklion
1070:Turing Award announcement
510:Joseph Fourier University
159:
120:
30:
781:10.1007/3-540-59042-0_76
634:Biochemical Pharmacology
183:. He received the 2007
1650:Turing Award laureates
1135:Maurice Vincent Wilkes
1074:List of publications:
735:10.1006/inco.1994.1045
568:Cite journal requires
245:University of Grenoble
233:University of Grenoble
221:Electrical Engineering
172:: Ιωσήφ Σηφάκης) is a
115:University of Grenoble
92:University of Grenoble
215:in 1946 and lives in
930:academie-sciences.fr
818:10.1109/SEFM.2006.27
301:(2011–2012), and at
1524:Michael Stonebraker
1322:Fernando J. Corbató
531:artist-embedded.org
299:Tsinghua University
1479:Charles P. Thacker
1344:Richard E. Stearns
1226:Kenneth E. Iverson
1176:Edsger W. Dijkstra
1164:James H. Wilkinson
1112:A. M. Turing Award
270:. He founded with
195:, for his work on
181:computer scientist
1622:
1621:
1496:Leslie G. Valiant
1372:Douglas Engelbart
1350:Edward Feigenbaum
1065:Personal homepage
915:of 14 July 2008.]
812:. pp. 3–12.
790:978-3-540-49175-0
640:(17): 1569–1572.
609:. 30 January 2019
331:and Verilog SA.,
243:in 1974 from the
163:
162:
122:Scientific career
1677:
1546:John L. Hennessy
1534:Whitfield Diffie
1508:Shafi Goldwasser
1463:E. Allen Emerson
1459:Edmund M. Clarke
1204:Michael O. Rabin
1198:Herbert A. Simon
1105:
1098:
1091:
1082:
1052:
1051:
1049:
1047:
1033:
1027:
1026:
1024:
1022:
1008:
1002:
1001:
999:
997:
983:
977:
972:
966:
965:
963:
961:
947:
941:
940:
938:
936:
922:
916:
907:
901:
892:
886:
885:
883:
881:
871:
865:
864:
862:
860:
850:"Joseph Sifakis"
846:
840:
839:
801:
795:
794:
764:
758:
757:
747:
737:
713:
707:
706:
696:
672:
666:
665:
625:
619:
618:
616:
614:
599:
593:
592:
584:
578:
577:
571:
566:
564:
556:
548:
542:
541:
539:
537:
523:
517:
493:
487:
472:
463:
462:
452:
446:
445:
435:
345:Thomas Henzinger
284:Embedded Systems
272:Edmund M. Clarke
268:Embedded Systems
258:laboratory near
229:Computer Science
193:E. Allen Emerson
189:Edmund M. Clarke
155:Stavros Tripakis
152:Notable students
132:Computer science
50:
48:
43:26 December 1946
35:
21:
1685:
1684:
1680:
1679:
1678:
1676:
1675:
1674:
1625:
1624:
1623:
1618:
1607:Robert Metcalfe
1579:
1560:Geoffrey Hinton
1550:David Patterson
1540:Tim Berners-Lee
1484:
1425:Leonard Adleman
1411:Kristen Nygaard
1389:
1340:Juris Hartmanis
1310:
1299:Ivan Sutherland
1231:
1220:Robert W. Floyd
1182:Charles Bachman
1152:
1141:Richard Hamming
1117:
1109:
1061:
1056:
1055:
1045:
1043:
1035:
1034:
1030:
1020:
1018:
1010:
1009:
1005:
995:
993:
985:
984:
980:
973:
969:
959:
957:
949:
948:
944:
934:
932:
924:
923:
919:
908:
904:
900:of 17 May 2008.
893:
889:
879:
877:
875:"Awards – SEFI"
873:
872:
868:
858:
856:
848:
847:
843:
828:
803:
802:
798:
791:
766:
765:
761:
715:
714:
710:
674:
673:
669:
627:
626:
622:
612:
610:
601:
600:
596:
586:
585:
581:
567:
557:
550:
549:
545:
535:
533:
525:
524:
520:
494:
490:
476:doctorat d'état
473:
466:
454:
453:
449:
437:
436:
432:
427:
384:
372:state explosion
341:Lustre Language
314:
235:under a French
205:
90:
84:Alma mater
65:
52:
46:
44:
26:
17:
12:
11:
5:
1683:
1681:
1673:
1672:
1667:
1662:
1657:
1652:
1647:
1642:
1637:
1627:
1626:
1620:
1619:
1617:
1616:
1610:
1604:
1598:
1595:Jeffrey Ullman
1587:
1585:
1581:
1580:
1578:
1577:
1567:
1553:
1543:
1537:
1530:Martin Hellman
1527:
1521:
1518:Leslie Lamport
1515:
1505:
1499:
1492:
1490:
1486:
1485:
1483:
1482:
1476:
1473:Barbara Liskov
1470:
1467:Joseph Sifakis
1456:
1450:
1444:
1434:
1428:
1414:
1407:Ole-Johan Dahl
1404:
1397:
1395:
1391:
1390:
1388:
1387:
1381:
1375:
1369:
1363:
1357:
1347:
1337:
1334:Butler Lampson
1331:
1325:
1318:
1316:
1312:
1311:
1309:
1308:
1302:
1296:
1290:
1280:
1274:
1268:
1265:Dennis Ritchie
1258:
1252:
1246:
1239:
1237:
1233:
1232:
1230:
1229:
1223:
1217:
1211:
1201:
1191:
1185:
1179:
1173:
1167:
1160:
1158:
1154:
1153:
1151:
1150:
1144:
1138:
1132:
1125:
1123:
1119:
1118:
1110:
1108:
1107:
1100:
1093:
1085:
1079:
1078:
1072:
1067:
1060:
1059:External links
1057:
1054:
1053:
1028:
1003:
978:
967:
942:
917:
902:
887:
866:
854:awards.acm.org
841:
826:
796:
789:
759:
728:(2): 193–244.
708:
667:
620:
594:
589:"News at EPFL"
579:
570:|journal=
543:
518:
488:
480:professorships
464:
447:
429:
428:
426:
423:
422:
421:
418:
415:
412:
409:
406:
403:
402:, France, 2011
397:
394:
391:
383:
380:
318:model checking
313:
310:
264:Model Checking
204:
201:
197:model checking
166:Joseph Sifakis
161:
160:
157:
156:
153:
149:
148:
139:
135:
134:
129:
125:
124:
118:
117:
109:
105:
104:
102:Model checking
99:
98:Known for
95:
94:
85:
81:
80:
71:
67:
66:
53:
41:
37:
36:
28:
27:
25:Joseph Sifakis
24:
15:
13:
10:
9:
6:
4:
3:
2:
1682:
1671:
1668:
1666:
1663:
1661:
1658:
1656:
1653:
1651:
1648:
1646:
1643:
1641:
1640:Living people
1638:
1636:
1633:
1632:
1630:
1614:
1613:Avi Wigderson
1611:
1608:
1605:
1602:
1601:Jack Dongarra
1599:
1596:
1592:
1589:
1588:
1586:
1582:
1575:
1571:
1568:
1565:
1561:
1557:
1556:Yoshua Bengio
1554:
1551:
1547:
1544:
1541:
1538:
1535:
1531:
1528:
1525:
1522:
1519:
1516:
1513:
1512:Silvio Micali
1509:
1506:
1503:
1500:
1497:
1494:
1493:
1491:
1487:
1480:
1477:
1474:
1471:
1468:
1464:
1460:
1457:
1454:
1453:Frances Allen
1451:
1448:
1445:
1442:
1438:
1435:
1432:
1429:
1426:
1422:
1418:
1415:
1412:
1408:
1405:
1402:
1399:
1398:
1396:
1392:
1385:
1382:
1379:
1376:
1373:
1370:
1367:
1364:
1361:
1358:
1355:
1351:
1348:
1345:
1341:
1338:
1335:
1332:
1329:
1326:
1323:
1320:
1319:
1317:
1313:
1306:
1305:William Kahan
1303:
1300:
1297:
1294:
1291:
1288:
1287:Robert Tarjan
1284:
1283:John Hopcroft
1281:
1278:
1275:
1272:
1271:Niklaus Wirth
1269:
1266:
1262:
1259:
1256:
1253:
1250:
1249:Edgar F. Codd
1247:
1244:
1241:
1240:
1238:
1234:
1227:
1224:
1221:
1218:
1215:
1212:
1209:
1205:
1202:
1199:
1195:
1192:
1189:
1186:
1183:
1180:
1177:
1174:
1171:
1170:John McCarthy
1168:
1165:
1162:
1161:
1159:
1155:
1148:
1147:Marvin Minsky
1145:
1142:
1139:
1136:
1133:
1130:
1127:
1126:
1124:
1120:
1116:
1113:
1106:
1101:
1099:
1094:
1092:
1087:
1086:
1083:
1077:
1073:
1071:
1068:
1066:
1063:
1062:
1058:
1042:
1038:
1032:
1029:
1017:
1013:
1007:
1004:
992:
988:
982:
979:
976:
971:
968:
956:
952:
946:
943:
931:
927:
921:
918:
914:
913:
906:
903:
899:
898:
891:
888:
876:
870:
867:
855:
851:
845:
842:
837:
833:
829:
827:0-7695-2678-0
823:
819:
815:
811:
807:
800:
797:
792:
786:
782:
778:
774:
770:
763:
760:
755:
751:
746:
741:
736:
731:
727:
723:
719:
712:
709:
704:
700:
695:
690:
686:
682:
678:
671:
668:
663:
659:
655:
651:
647:
643:
639:
635:
631:
624:
621:
608:
604:
598:
595:
590:
583:
580:
575:
562:
554:
547:
544:
532:
528:
522:
519:
515:
511:
507:
506:
505:
501:
500:
499:
492:
489:
485:
481:
477:
471:
469:
465:
460:
459:
451:
448:
443:
442:
434:
431:
424:
419:
416:
413:
410:
407:
404:
401:
398:
395:
392:
389:
386:
385:
381:
379:
375:
373:
369:
365:
361:
357:
354:
350:
346:
342:
338:
334:
330:
326:
321:
319:
311:
309:
306:
304:
300:
296:
292:
287:
286:(2004–2012).
285:
281:
277:
273:
269:
265:
261:
257:
253:
248:
246:
242:
238:
234:
230:
226:
222:
219:. He studied
218:
214:
210:
202:
200:
198:
194:
190:
187:, along with
186:
182:
179:
175:
171:
167:
158:
154:
150:
147:
143:
140:
136:
133:
130:
126:
123:
119:
116:
113:
110:
106:
103:
100:
96:
93:
89:
86:
82:
79:
75:
72:
68:
64:
60:
56:
51:(age 77)
42:
38:
34:
29:
22:
19:
1574:Pat Hanrahan
1466:
1328:Robin Milner
1277:Richard Karp
1261:Ken Thompson
1255:Stephen Cook
1194:Allen Newell
1188:Donald Knuth
1044:. Retrieved
1040:
1031:
1019:. Retrieved
1015:
1006:
994:. Retrieved
990:
981:
970:
958:. Retrieved
954:
945:
933:. Retrieved
929:
920:
910:
905:
895:
890:
878:. Retrieved
869:
857:. Retrieved
853:
844:
809:
799:
772:
762:
725:
721:
711:
684:
680:
670:
637:
633:
623:
611:. Retrieved
606:
597:
582:
561:cite journal
555:(in French).
546:
536:28 September
534:. Retrieved
530:
521:
504:
503:
498:
497:
491:
484:habilitation
475:
457:
450:
440:
433:
388:Turing Award
376:
355:
322:
315:
307:
288:
249:
206:
185:Turing Award
165:
164:
138:Institutions
121:
18:
1635:1946 births
1502:Judea Pearl
1384:Fred Brooks
1366:Amir Pnueli
1360:Manuel Blum
1214:John Backus
1129:Alan Perlis
1046:3 September
1041:thepaper.cn
1021:3 September
1016:NAE Website
996:3 September
960:3 September
955:ae-info.org
935:3 September
687:(1): 3–34.
349:Amir Pnueli
276:Amir Pnueli
237:scholarship
70:Citizenship
1629:Categories
1591:Alfred Aho
1570:Ed Catmull
1564:Yann LeCun
1447:Peter Naur
1421:Adi Shamir
1417:Ron Rivest
1401:Andrew Yao
1293:John Cocke
1243:Tony Hoare
1208:Dana Scott
991:amacad.org
613:3 November
512:, and the
425:References
353:Oded Maler
47:1946-12-26
1437:Vint Cerf
1354:Raj Reddy
1115:laureates
880:4 October
859:4 October
754:0890-5401
745:1813/6182
703:0304-3975
654:0006-2952
241:doctorate
209:Heraklion
203:Biography
55:Heraklion
1441:Bob Kahn
1431:Alan Kay
1378:Jim Gray
773:Stacs 95
305:(2019).
260:Grenoble
836:1926067
607:Twitter
366:, and
333:VERIMAG
325:VERIMAG
303:SUSTech
256:VERIMAG
231:at the
223:at the
45: (
1615:(2023)
1609:(2022)
1603:(2021)
1597:(2020)
1576:(2019)
1566:(2018)
1552:(2017)
1542:(2016)
1536:(2015)
1526:(2014)
1520:(2013)
1514:(2012)
1504:(2011)
1498:(2010)
1481:(2009)
1475:(2008)
1469:(2007)
1455:(2006)
1449:(2005)
1443:(2004)
1433:(2003)
1427:(2002)
1413:(2001)
1403:(2000)
1386:(1999)
1380:(1998)
1374:(1997)
1368:(1996)
1362:(1995)
1356:(1994)
1346:(1993)
1336:(1992)
1330:(1991)
1324:(1990)
1307:(1989)
1301:(1988)
1295:(1987)
1289:(1986)
1279:(1985)
1273:(1984)
1267:(1983)
1257:(1982)
1251:(1981)
1245:(1980)
1228:(1979)
1222:(1978)
1216:(1977)
1210:(1976)
1200:(1975)
1190:(1974)
1184:(1973)
1178:(1972)
1172:(1971)
1166:(1970)
1149:(1969)
1143:(1968)
1137:(1967)
1131:(1966)
834:
824:
787:
752:
701:
660:
652:
390:, 2007
382:Awards
360:Kronos
217:France
178:French
128:Fields
108:Awards
78:French
63:Greece
1584:2020s
1489:2010s
1394:2000s
1315:1990s
1236:1980s
1157:1970s
1122:1960s
832:S2CID
337:SCADE
213:Crete
174:Greek
170:Greek
74:Greek
59:Crete
1048:2022
1023:2022
998:2022
962:2022
937:2022
882:2021
861:2021
822:ISBN
785:ISBN
750:ISSN
699:ISSN
658:PMID
650:ISSN
615:2023
574:help
538:2021
364:CADP
351:and
329:CNRS
312:Work
295:EPFL
278:the
274:and
266:and
227:and
191:and
142:CNRS
40:Born
814:doi
777:doi
740:hdl
730:doi
726:111
689:doi
685:138
642:doi
368:TGV
293:of
280:CAV
254:at
1631::
1593:;
1572:;
1562:;
1558:;
1548:;
1532:;
1510:;
1465:;
1461:;
1439:;
1423:;
1419:;
1409:;
1352:;
1342:;
1285:;
1263:;
1206:;
1196:;
1039:.
1014:.
989:.
953:.
928:.
852:.
830:.
820:.
808:.
783:.
748:.
738:.
724:.
720:.
697:.
683:.
679:.
656:.
648:.
638:24
636:.
632:.
605:.
565::
563:}}
559:{{
529:.
467:^
362:,
211:,
199:.
144:,
61:,
57:,
1104:e
1097:t
1090:v
1050:.
1025:.
1000:.
964:.
939:.
884:.
863:.
838:.
816::
793:.
779::
756:.
742::
732::
705:.
691::
664:.
662:9
644::
617:.
591:.
576:)
572:(
540:.
496::
486:.
356:.
176:-
168:(
76:-
49:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.