Sifakis, J. 1946-
Enlarge text Shrink text-
Personality
|
System number
987007442964205171
-
Save successfulThe item can be found in your Personal ZoneשגיאהLog in to your account to save
Information for Authority record
Name (Latin)
Sifakis, J. 1946-
Other forms of name
Sifakis, Joseph, 1946-
Date of birth
1946-12-26
Gender
male
MARC
MARC
Sources of Information
- Automatic verification methods ... c1990:CIP t.p. (J. Sifakis) verso t.p. (Joseph Sifakis, LGI-IMAG, PB, Grenoble Cedex, France) data sheet (b. 12/26/46)
1 / 1
Joseph Sifakis mg 4603
Rama, CC BY-SA 2.0 fr
Wikipedia description:
Joseph Sifakis (Greek: Ιωσήφ Σηφάκης; born 26 December 1946) 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.
Read more on Wikipedia >