Joseph Sifakis is a Greek-French computer scientist, laureate of the 2007 Turing Award, along with Edmund M. Clarke and E. Allen Emerson, for his work on model checking. He was born in Heraklion, Crete in 1946 and studied Electrical Engineering at the National Technical University of Athens and Computer Science at the University of Grenoble under a French scholarship. He received a doctorate in 1974 from the University of Grenoble, where he also received a state doctorate in 1979.

PropertyValue
dbpedia-owl:Person/almaMater
dbpedia-owl:Person/birthDate
  • 1946-01-01 00:00:00 (xsd:date)
dbpedia-owl:Person/birthPlace
dbpedia-owl:almaMater
dbpedia-owl:birthDate
  • 1946-01-01 00:00:00 (xsd:date)
dbpedia-owl:birthPlace
dbpedia-owl:thumbnail
dbpprop:abstract
  • Joseph Sifakis is a Greek-French computer scientist, laureate of the 2007 Turing Award, along with Edmund M. Clarke and E. Allen Emerson, for his work on model checking. He was born in Heraklion, Crete in 1946 and studied Electrical Engineering at the National Technical University of Athens and Computer Science at the University of Grenoble under a French scholarship. He received a doctorate in 1974 from the University of Grenoble, where he also received a state doctorate in 1979. Sifakis lives in France, whose citizenship he took in 1976 and works for the Centre national de la recherche scientifique at the VERIMAG laboratory near Grenoble, of which he is a founder. He is also coordinator of Artist2, the European Network of Excellence for research on Embedded Systems. He is a grand officer of France's national order of merit.
  • Joseph Sifakis ist ein griechisch-französischer Informatiker und Turing-Preisträger. Er trug wesentlich zum Aufkommen der Modellprüfung und deren Verbreitung in der Industrie bei. Sifakis studierte Elektrotechnik an der Nationalen Technischen Universität Athen und machte mit einem französischen Stipendium seinen Doktor in Informatik an der Universität Joseph Fourier in Grenoble. Er arbeitet in Grenoble für das von ihm mitgegründete und von 1993 bis 2006 geleitete Verimag-Labor des Centre national de la recherche scientifique. Dort ist er Forschungsleiter im Bereich verteilte und komplexe Systeme, und forscht insbesondere an komponentenbasiertem Design, Modellierung und Analyse von Echtzeitsystemen, mit Fokus auf Correct-by-construction-Techniken. Er ist auch Träger der CNRS-Silbermedaille 2001. Außerdem ist er Leiter des CARNOT-Instituts für intelligente Software und Systeme in Grenoble, und einer der Vorsitzenden von ARTEMISIA, dem Industrieverband innerhalb der europäischen Embedded-Systems-Technologieplattform ARTEMIS. Sifakis ist wissenschaftlicher Koordinator der europäischen Exzellenznetzwerke Artist2 und ArtistDesign zur Forschung im Bereich eingebetteter Systeme, und hat mit Edmund M. Clarke, Robert Kurshan und Amir Pnueli die International Conference on Computer Aided Verification gegründet. Weiter ist er Mitglied mehrerer redaktioneller Beiräte wissenschaftlicher Zeitschriften. 2007 erhielt Sifakis zusammen mit Edmund M. Clarke und Allen Emerson, von denen unabhängig er ab 1981 an der Modellprüfung gearbeitet hat, den Turing Award, und wird damit für seine Pionierarbeit sowohl auf theoretischem als auch praktischem Gebiet der Spezifikation und Verifizierung paralleler Systeme geehrt.
  • Joseph Sifakis es un científico de la computación francés de origen griego, ganador del Premio Turing de 2007 junto con Edmund M. Clarke y E. Allen Emerson, por su trabajo en el método conocido como model checking. Sifakis nació en Creta y estudió Ingeniería Eléctrica en la Universidad Técnica Nacional de Atenas, y Ciencias de la Computación en la Universidad de Grenoble. Actualmente (2007) vive en Francia y trabaja para el Centre national de la recherche scientifique (CNRS), en el laboratorio VERIMAG cerca de Grenoble.
  • Joseph Sifakis est un chercheur en informatique français d'origine grecque, directeur de recherche au CNRS. Joseph Sifakis est ingénieur électricien de l’École Polytechnique d’Athènes, docteur-ingénieur de l'Université scientifique et médicale de Grenoble (USMG) et docteur d’État en informatique de l'USMG et de l'Institut national polytechnique de Grenoble. Il a fondé le laboratoire Verimag près de Grenoble, où il travaille encore à présent. Il est le lauréat, avec Edmund Clarke et Allen Emerson du Prix Turing 2007, et le premier Français à recevoir cette distinction. Il a également reçu en 2001 la médaille d'argent du CNRS. Il est l'un des créateurs de la méthode d'énumération et de vérification de modèles, pour laquelle il a reçu ce prix. Il s'est également illustré dans l'étude des systèmes hybrides. Il est élevé à la dignité de grand officier de l'ordre national du Mérite.
  • Fu tra i primi a contribuire alla teoria del model checking. Sifakis ha ricevuto il Premio Turing nel 2007.
  • Joseph Sifakis is een Grieks/Frans informaticus. Samen met Edmund M. Clarke en E. Allen Emerson heeft hij in 2007 de Turing Award gewonnen voor hun werk over model checking.
  • Iosif Sifakis este un informatician grec, laureat al Premiului Turing în 2007 împreună cu E. Allen Emerson şi Edmund Clarke, pentru dezvoltarea conceptului de model checking.
  • Иосиф Сифакис — французский учёный греческого происхождения в области теории вычислительных систем, лауреат премии Тьюринга.
dbpprop:almaMater
dbpprop:birthPlace
dbpprop:dateOfBirth
  • 1946 (xsd:integer)
dbpprop:field
dbpprop:knownFor
  • Development of Model-Checking
dbpprop:name
  • Joseph Sifakis
dbpprop:nationality
  • French
dbpprop:prizes
dbpprop:reference
dbpprop:wikiPageUsesTemplate
rdf:type
rdfs:comment
  • Joseph Sifakis is a Greek-French computer scientist, laureate of the 2007 Turing Award, along with Edmund M. Clarke and E. Allen Emerson, for his work on model checking. He was born in Heraklion, Crete in 1946 and studied Electrical Engineering at the National Technical University of Athens and Computer Science at the University of Grenoble under a French scholarship. He received a doctorate in 1974 from the University of Grenoble, where he also received a state doctorate in 1979.
  • Joseph Sifakis ist ein griechisch-französischer Informatiker und Turing-Preisträger. Er trug wesentlich zum Aufkommen der Modellprüfung und deren Verbreitung in der Industrie bei. Sifakis studierte Elektrotechnik an der Nationalen Technischen Universität Athen und machte mit einem französischen Stipendium seinen Doktor in Informatik an der Universität Joseph Fourier in Grenoble.
  • Joseph Sifakis es un científico de la computación francés de origen griego, ganador del Premio Turing de 2007 junto con Edmund M. Clarke y E. Allen Emerson, por su trabajo en el método conocido como model checking. Sifakis nació en Creta y estudió Ingeniería Eléctrica en la Universidad Técnica Nacional de Atenas, y Ciencias de la Computación en la Universidad de Grenoble.
  • Joseph Sifakis est un chercheur en informatique français d'origine grecque, directeur de recherche au CNRS. Joseph Sifakis est ingénieur électricien de l’École Polytechnique d’Athènes, docteur-ingénieur de l'Université scientifique et médicale de Grenoble (USMG) et docteur d’État en informatique de l'USMG et de l'Institut national polytechnique de Grenoble. Il a fondé le laboratoire Verimag près de Grenoble, où il travaille encore à présent.
  • Fu tra i primi a contribuire alla teoria del model checking. Sifakis ha ricevuto il Premio Turing nel 2007.
  • Joseph Sifakis is een Grieks/Frans informaticus. Samen met Edmund M. Clarke en E. Allen Emerson heeft hij in 2007 de Turing Award gewonnen voor hun werk over model checking.
  • Iosif Sifakis este un informatician grec, laureat al Premiului Turing în 2007 împreună cu E. Allen Emerson şi Edmund Clarke, pentru dezvoltarea conceptului de model checking.
  • Иосиф Сифакис — французский учёный греческого происхождения в области теории вычислительных систем, лауреат премии Тьюринга.
rdfs:label
  • Joseph Sifakis
  • Joseph Sifakis
  • Joseph Sifakis
  • Joseph Sifakis
  • Joseph Sifakis
  • Joseph Sifakis
  • Iosif Sifakis
  • Сифакис, Иосиф
owl:sameAs
skos:subject
foaf:depiction
foaf:name
  • Joseph Sifakis
foaf:page
is dbpprop:redirect of