Joseph Sifakis
| Use attributes for filter ! | |
| Gender | Male |
|---|---|
| Age | 78 |
| Date of birth | December 26,1946 |
| Zodiac sign | Capricorn |
| Field | Computer Science |
| Job | Professor |
| Computer scientist | |
| Researcher | |
| Education | National Metsovio Polythechnic |
| University of Grenoble | |
| Université Grenoble Alpes | |
| National Technical University of Athens | |
| Awards | Turing Award |
| C. N. R. S. Silver Medal | |
| C.N.R.S. Silver Medal | |
| Born | Heraklion |
| Greece | |
| Founded | VERIMAG Laboratory |
| Books | Rigorous System Design |
| Understanding and Changing the World: From Information to Knowledge and Intelligence | |
| H index | 66 |
| Interests | Software Engineering |
| Formal Methods | |
| Web Services | |
| Middleware | |
| Networks | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 543135 |
Joseph Sifakis Life story
Joseph Sifakis is a Greek-French computer scientist. He received the 2007 Turing Award, along with Edmund M. Clarke and E. Allen Emerson, for his work on model checking.
Joseph Sifakis Photos
