<$BlogRSDUrl$>

4.2.08

Turing award ! 

ή Είμαι ενθουσιασμένος ή Ας προλάβουμε και μια φορά τους New York Times.

***
Η ώρα είναι 1:19 μμ (4 Φεβρουαρίου 2008). Τα βραβεία Turing θα ανακοινωθούν στις 5 μμ, ώρα Ελλάδος, στην Νέα Υόρκη.

***






Q: How did you become so interested in God and religion in the first place?

Donald Knuth: It was because of the family I was born into.
If I had been born in other circumstances, my religious
life would no doubt have been quite different.


- Things A Computer Scientist Rarely Talks About




Προετοιμαζόμουν, φαίνεται, καιρό τώρα, αλλά δεν το ήξερα...

Ένα ποστ του Ακίνδυνου, μια ανεπαίσθητη αναφορά, όπως το συνηθίζει, πέρυσι, λίγο πριν το Πάσχα, με έκανε να ασχοληθώ, μια ολόκληρη Κυριακή, με τον Donald Knuth. Δύο ποστ του Lazopolis, μήνες αργότερα, να ξανασχοληθώ. Πρόκειται για μια ιδιόμορφη προσωπικότητα. Ένας "γίγαντας του πνεύματος" (απ ό,τι διαβάζω κι από τα ελάχιστα που καταλαβαίνω, η ταμπέλα τού ταιριάζει καλά).

Μέσω Knuth έμαθα για το Turing award και τη σημασία του.

(Wikipedia: The A. M. Turing Award [...] Often recognized as the "Nobel Prize of computing" [...])

Πού να φανταζόμουν ότι το βραβείο θα έμπαινε στην οικογένειά μου;

Φέτος το πήρε, μαζί με δύο αμερικανούς ερευνητές, και ο εξάδελφός μου ο Σήφης! Ξάδελφος εξ αγχιστείας...
"ACM, the Association for Computing Machinery, has named Edmund M. Clarke, E. Allen Emerson, and Joseph Sifakis the winners of the 2007 A.M. Turing Award, widely considered the most prestigious award in computing, for their original and continuing research in a quality assurance process known as Model Checking. [...] The Turing Award, named for British mathematician Alan M. Turing, carries a $250,000 prize, with financial support provided by Intel Corporation and Google Inc."
[οι υπογραμμίσεις δικές μου]


Για τον Alan Turing.

***

Σήφης... Το κοινότοπο "συνηθισμένος άνθρωπος" μοιάζει να μην έχει θέση εδώ. Γιατί, όπως κάθε κοινοτοπία, είναι προφανώς η μισή αλήθεια. Από την άλλη, εγώ μόνον ό,τι μοιάζει, εκ πρώτης όψεως, κοινότοπο είμαι σε θέση να σκεφτώ ή να επικοινωνήσω...

Ας τα βάλω σε μια τάξη, για προσωπική χρήση:

Ο Σήφης ξέρει απ έξω τον Ελύτη και τον Σεφέρη. Ο Σήφης κάποτε ήθελε να γίνει ποιητής.
Ο Σήφης ήταν Μαοϊκός. Οργανωμένος κανονικά. ΚΚΕ (μ-λ).
Ο Σήφης μου είχε πει: "Mην το πολυψειρίζεις, μπες στην ΚΝΕ και βλέπεις μετά". Τον άκουσα. Η συμβουλή αποδείχτηκε καθοριστική για τη ζωή μου.
Ο Σήφης έχει καταφέρει να μείνει στυλάκι όσα χρόνια τον ξέρω, πάντα όσα κιλά χρειάζονται.
Ο Σήφης αγαπάει τα ψαλτικά. Το αυτί του μπορεί να διακρίνει τους ήχους. Είναι ψάλτης, δεξιός κι αριστερός, στην εκκλησία της (σημαντικής, με πολλούς μικρασιάτες πρόσφυγες τρίτης γενιάς) ελληνικής κοινότητας της Γκρενόμπλ.
Ο Σήφης αγαπάει πολύ την Κρήτη. Ξέρει ένα σωρό τοπωνύμια, τραγούδια και λαογραφικά. Αγαπάει το Ηράκλειο. Το ξέρει απ έξω.
Ο Σήφης είναι οικογενειάρχης, εκφράζει ό,τι ευγενέστερο μπορεί να εκφράσει αυτός ο χαρακτηρισμός. Η οικογένειά του είναι

Ένα σημείο Ένα σημείο
και σ' αυτό πάνω ισορροπείς και υπάρχεις
κι απ' αυτό πιο πέρα ταραχή και σκότος
κι απ αυτό πιο πίσω βρυγμός των αγγέλων.


Δικαίωση του Σήφη (και της εξαδέλφης μου Κατερίνας βεβαίως, διακεκριμένη επιστήμων κι αυτή, οικονομολόγος) είναι όχι μόνο τα βραβεία, αλλά και τα παιδιά του, η Ελένη κι ο Μανώλης.
Όσες φορές φιλοξενήθηκα στο σπίτι τους στη Γκρενόμπλ, όσες φορές ζαλιστήκαμε με τσικουδιά στο χωριό, ένιωσα την ευγένεια του οικογενειάρχη, την οικογενειακή θαλπωρή, να με περιβάλλουν. Ανευ ορίων, άνευ όρων.
Ορίστε! Τα έβαλα σε μια τάξη. Σε μια σειρά.


*
**


Αντιγράφω: "Το Model Checking είναι μια αλγοριθμική μέθοδος επαλήθευσης η οποία επιτρέπει να καθοριστεί αν ένα μοντέλο, μέρος ενός συστήματος υλικού ή ενός σύνθετου λογισμικού, πληρεί τις σωστές προδιαγραφές, εκφρασμένες υπό κάποια μορφή λογικών προτάσεων. Επιπλέον, αν το μοντέλο δεν επαληθευτεί, η μέθοδος παράγει αντιπαραδείγματα τα οποία βοηθούν στον εντοπισμό της πηγής του προβλήματος."

[...]

"Οι θεωρητικές βάσεις του Model Checking τέθηκαν το 1981, από τους Edmund Clarke και Allen Emerson οι οποίοι εργαζόταν στις ΗΠΑ και τον Ιωσήφ Σηφάκη ο οποίος εργαζόταν ανεξάρτητα στην Γαλλία. Για να μπορέσει το Model Checking να χρησιμοποιηθεί επιτυχώς στην επαλήθευση πολυσύνθετων συστημάτων, χρειάστηκε να αναπτυχθούν θεωρητικά αποτελέσματα, μέθοδοι και εργαλεία για να αντιμετωπιστεί η πολυπλοκότητα του προβλήματος της «έκρηξης καταστάσεων» (state explosion)."


*
**


Και άλλη μια κοινοτοπία. Γάντι στην περίπτωση. Πρόκειται για στίχους του Σαββόπουλου. Aναφέρεται στους Έλληνες οι οποίοι διαπρέπουν στο εξωτερικό. Στιχάκια που τα θυμάμαι συχνά κι αβίαστα. Mια προσωπική κοινοτοπία:

Αλλά εκεί στην ξένη
στην οθόνη σκυμμένοι
θεϊκά δεμένοι
με την οικουμένη
στους απέναντι τόπους
φωτοκολλημένοι
απ τον εδώ ουρανό τους.

Κι ενώ εδώ θα ζούμε καταρρεύσεις
ο έξω ελληνισμός θα προχωρεί
και φως και μουσική μιας άλλης σκέψης
στη μείζονα Ελλάδα θα εκραγεί.


Αμήν και πότε.

***



Το ξέχασα: Homepage.

Οι πρώτες αναφορές μέσω Google: Μία, Δύο , Τρεις...

H επίσημη (μερσί plagal)...

Πέρασε και στη wikipedia.

Κάποιοι έφτιαξαν και βιογραφικά, αγγλικά (Joseph Sifakis is a Greek computer scientist) και γαλλικά (Joseph Sifakis est un chercheur français en informatique.)... Το πανεπιστήμιο Joseph Fourier (un chercheur grenoblois en informatique)

Ένα μπλογκ.

Το Μάτι.

*


-------------------------------------------------------------------------

ΥΓ. Το σχόλιο που είχα αφήσει πέρυσι στου Ακίνδυνου περί Knuth: "Η σημερινή μέρα ήταν για μένα μια λέξη και μου την έδωσες εσύ. Η λέξη ήταν Knuth. Για το επίπεδό μου, από το σύνολο της δουλειάς του, κατάλαβα αυτό. Γέλασα με αυτό (αν και λίγα κατάλαβα). Για τα υπόλοιπα δεν συζητάμε. Εντυπωσιακός άνθρωπος. Συγκινήθηκα με τον τρόπο του. Mου έδωσε ιδέες. Προς το τέλος νομίζω ότι τον πήρε το μάτι μου μια, δυο και τρεις φορές στα πέριξ. Μερσί. Φεύγω για το Πάσχα, καλή Ανάσταση εύχομαι.

***

Τα δύο ποστ του lazopolis για τον Knuth: Ένα και Δύο.


-------------------------------------------------------------------------

buzz it!

 

Comments:
ωραία και χίλια μπράβο.

και ευχαριστώ που μου μετέδωσες τόση θετική ενέργεια...
 
(για να είμαι ειλικρινής θα περιμένω να το επικυρώσει ο Μάκης το βράδυ με την προβολή σχετικού βίντεο, αλλά ως τότε) Συγχαρητήρια!
 
Χαίρομαι να διαβάζω όλα αυτά τα ωραία
Συγχαρητήρια και απο μένα βρέ Κουκουζελ(άκ)η.;-)
 
Επιτέλους, να διαβάσουμε και τίποτε της ανάτασης.
 
Σεφερης, Ελυτης, Σηφακης!

Τα καλυτερα νεα που εχω ακουσει φετος!!!

Συγχαρητηρια!!!!

Παω να το πω σε ολους! :-D
 
Εύγε! Και εις ανώτερα! (Άραγε τι "ανώτερο" από τη δικαίωση της αγάπης για το αντικείμενό σου και την οικογένειά σου;)
 
Θερμά συγχαρητήρια κ.Κουκουζέλη μου. Ελπίζω ο ξάδελφος να προσεύχεται πότε και πότε για μας τους μετρίας νοημοσύνης infidels. :-)
 
Ευχαριστώ, αντ' αυτού, για τα συγχαρητήρια. Θα του πω με την πρώτη ευκαιρία να τα διαβάσει.

Αθήναιε, το μόνο που ξέρω είναι ότι του αρέσουν τα ψαλτικά. Για την πίστη του δεν θα ορκιζόμουν. Δεν ξέρω.
 
Θερμά συγχαρητήρια! Πάντα τέτοια για τα παιδιά της Κρήτης.
 
μωρε μπραβο. βγαζει καλα ατομα η Κρητη.

αν δεν ηταν και ΚΚΕς ακομα καλυτερα :-)
 
Επισημο πια: Researchers Created Model Checking Technique for Hardware and Software Designers

:-)
 
Μπράβο ξάδερφε!!!
 
Μπράβο κι' από μένα.Πανάξιος.
 
Μαοϊκός ψάλτης,
δεξιός κι αριστερός,
ποιητής και τεχνοκράτης,
Έλληνας του εξωτερικού…

Ένας φαινομενικά αντιφατικός άνθρωπος –ένας δικός μας- που ξεχώρισε χάριν προσφοράς και όχι δια της αντιθέσεως;

Εύγε λέμε!
 
Συγχαρητήρια, από τις λίγες καλές ειδήσεις των ημερών.
 
τσαι πάει τσε γκαζωμέεενος...
 
Καθώς, όπως θα ξέρετε, τούτες τις μέρες είναι η επίσημη απονομή στο Σαν Φρανσίσκο, η απόδοση τιμών στην Γαλλία, και τον άλλο μήνα, η παρουσία του στο Ηράκλειο, έκρινα ότι ίσως είναι μια ακόμη ευκαιρία γενικής ενημέρωσης και ειδικότερης προς ώτα, κατά κανόνα, μη ακουόντων...
 
Δημοσίευση σχολίου

This page is powered by Blogger. Isn't yours?