|
gptkbp:instanceOf
|
gptkb:person
|
|
gptkbp:almaMater
|
gptkb:National_Technical_University_of_Athens
|
|
gptkbp:awardReceived
|
gptkb:CNRS_Silver_Medal
gptkb:Grand_Officer_of_the_French_Legion_of_Honour
Turing Award
|
|
gptkbp:birthDate
|
1946-12-26
|
|
gptkbp:birthPlace
|
gptkb:Heraklion,_Crete,_Greece
|
|
gptkbp:citizenship
|
gptkb:France
gptkb:Greece
|
|
gptkbp:co-recipient
|
gptkb:Edmund_M._Clarke
gptkb:E._Allen_Emerson
gptkb:Turing_Award_2007
|
|
gptkbp:contribution
|
development of model checking
|
|
gptkbp:doctoralAdvisor
|
gptkb:Dimitri_Bertsekas
|
|
gptkbp:fieldOfWork
|
computer science
embedded systems
formal methods
verification
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Joseph Sifakis
|
|
gptkbp:knownFor
|
model checking
|
|
gptkbp:language
|
gptkb:French
gptkb:Greek
English
|
|
gptkbp:memberOf
|
gptkb:Academia_Europaea
gptkb:French_Academy_of_Technologies
gptkb:Academy_of_Sciences,_France
|
|
gptkbp:nationality
|
gptkb:French
gptkb:Greek
|
|
gptkbp:notableStudent
|
gptkb:Oded_Maler
|
|
gptkbp:occupation
|
gptkb:computer_scientist
|
|
gptkbp:residence
|
gptkb:France
|
|
gptkbp:spouse
|
gptkb:Maria_Sifakis
|
|
gptkbp:workInstitution
|
gptkb:CNRS
gptkb:VERIMAG
|
|
gptkbp:bfsParent
|
gptkb:Edmund_M._Clarke
gptkb:E._Allen_Emerson
|
|
gptkbp:bfsLayer
|
6
|