With great joy I was informed that for the year 2007 the ones to share the Turing Award, the highest award for a computer scienctist are :
i) Edmund Clarke, CMU professor and his former student Allen Emerson
ii) Joseph Sifakis, a former National Technical University student.
The award is in recognition of their contribution in the development of Model Checking.
Congratulations!
For more information click here.
Monday, February 4, 2008
Subscribe to:
Post Comments (Atom)
2 comments:
Που'σαι Μαμπη, καλα εισαι ρε!?
Καλα, εχουμε τρελαθει ολοι με τα καταπληκτικα νεα. Τα καλυτερα νεα εδω και πολυ καιρο! Δες και εδω, ο Σηφακης εκτος απο επιστημοναρας φαινεται να ειναι ωραιος ανθρωπος!
Χαιρετισμους πολλους απο Αθηνα!
Λοιπόν, την περίμενα εγώ τη δουλειά, πώς είναι και Κρητικός οπότε χαίρομαι ακόμα περισσότερο.
Είδες ρε Μιχάλη πόσοι Έλληνες που έχουν κάνει πράγματα σημαντικά υπάρχουν και δεν τους ξέρει κανείς στη χώρα μας?
Ευχές!
Post a Comment