Joseph Sifakis
E49740
Joseph Sifakis is a Greek-French computer scientist renowned for his pioneering work in formal verification and model checking, for which he received the Turing Award.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Joseph Sifakis canonical | 6 |
Statements (45)
| Predicate | Object |
|---|---|
| instanceOf |
Turing Award laureate
ⓘ
computer scientist ⓘ person ⓘ |
| academicDegree | PhD in computer science ⓘ |
| areaOfInfluence |
design of reliable embedded systems
ⓘ
verification of real-time systems ⓘ |
| awardReceived |
Turing Award
ⓘ
surface form:
ACM A.M. Turing Award
CNRS Silver Medal ⓘ Grand Prix of the French Academy of Sciences ⓘ
surface form:
Grand Prix de l’Académie des Sciences
|
| coRecipientOf |
Turing Award
ⓘ
surface form:
2007 ACM A.M. Turing Award
|
| coRecipientWith |
E. Allen Emerson
ⓘ
Edmund M. Clarke ⓘ |
| countryOfCitizenship |
France
ⓘ
Greece ⓘ |
| educatedAt |
National Technical University of Athens
ⓘ
University of Grenoble ⓘ |
| employer |
Centre National de la Recherche Scientifique
ⓘ
surface form:
CNRS
VERIMAG Laboratory ⓘ |
| ethnicGroup | Greek ⓘ |
| familyName | Sifakis ⓘ |
| fieldOfWork |
computer science
ⓘ
formal methods ⓘ formal verification ⓘ model checking ⓘ |
| gender | male ⓘ |
| givenName | Joseph ⓘ |
| influenced |
development of industrial model-checking tools
ⓘ
research in automated verification ⓘ |
| knownFor |
formal verification of concurrent systems
ⓘ
pioneering work in model checking ⓘ theory and practice of embedded systems ⓘ |
| languageSpoken |
English
ⓘ
French ⓘ Greek ⓘ |
| memberOf |
Academia Europaea
ⓘ
French Academy of Engineering ⓘ Académie des Sciences ⓘ
surface form:
French Academy of Sciences
|
| name | Joseph Sifakis self-link ⓘ |
| notableStudent | Oded Maler ⓘ |
| notableWork | model checking ⓘ |
| positionHeld |
founder of VERIMAG Laboratory
ⓘ
research director at CNRS ⓘ |
| reasonForAward | contributions to model checking of reactive systems ⓘ |
| workLocation |
France
ⓘ
Grenoble ⓘ |
Referenced by (6)
Full triples — surface form annotated when it differs from this entity's canonical label.
subject surface form:
Edmund M. Clarke