Category:Joseph Sifakis
Jump to navigation
Jump to search
Greek-French computer scientist  | |||||
| Upload media | |||||
| Name in native language |
| ||||
|---|---|---|---|---|---|
| Date of birth | 26 December 1946 Heraklion | ||||
| Country of citizenship | |||||
| Educated at | |||||
| Doctoral advisor |
| ||||
| Doctoral student |
| ||||
| Occupation | |||||
| Employer | |||||
| Member of |
| ||||
| Position held | |||||
| Field of work | |||||
| Award received |
| ||||
| official website | |||||
| |||||
 | |||||
Media in category "Joseph Sifakis"
The following 12 files are in this category, out of 12 total.
-
Joseph Sifakis 2018.jpg 1,772 × 1,780; 1.17 MB
-
Joseph Sifakis img 0966.jpg 3,048 × 2,228; 1.6 MB
-
Joseph Sifakis img 0966b.jpg 2,216 × 2,221; 817 KB
-
Joseph Sifakis mg 4600.jpg 2,912 × 2,912; 1.24 MB
-
Joseph Sifakis mg 4603.jpg 2,912 × 2,912; 1.26 MB
-
Joseph Sifakis mg 4604.jpg 2,912 × 2,912; 1.69 MB
-
Joseph Sifakis-Scan-090107-0026.jpg 2,172 × 1,486; 565 KB
-
Joseph Sifakis-Scan-090107-0027.jpg 2,204 × 1,479; 583 KB
-
Joseph Sifakis-Scan-090107-0029.jpg 1,921 × 1,479; 502 KB
-
Joseph Sifakis-Scan-090107-0030.jpg 1,948 × 1,463; 543 KB
-
Joseph Sifakis-Scan-090107-0033.jpg 1,705 × 1,287; 422 KB
-
Joseph Sifakis-Scan-090107-0034.jpg 1,465 × 2,219; 636 KB
Categories:
- Iosif (given name)
- Joseph (given name)
- 1946 births
- Commanders of the Legion of Honour
- Grand officier de l'ordre national du Mérite
- Laureates of the Turing Award
- Laureates of the CNRS Silver medal
- Fellows of the Association for Computing Machinery
- Computer scientists from Greece
- Alumni of the National Technical University of Athens
- Formal methods people
- Births in Heraklion