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.
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 |
ACM A.M. Turing Award
→
CNRS Silver Medal → Grand Prix de l’Académie des Sciences → |
| coRecipientOf |
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 |
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 → French Academy of Sciences → |
| name |
Joseph Sifakis
→
|
| 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 (3)
| Subject (surface form when different) | Predicate |
|---|---|
|
Edmund M. Clarke
→
|
coInventedWith |
|
Joseph Sifakis
→
|
name |
|
Herbrand Award
→
|
notableRecipient |