Page 1 of 1

στον Σήφη Σηφάκη το Turing Award 2007

Posted: Tue Feb 05, 2008 5:02 pm
by tsilochr
Ο Σήφης Σηφάκης, απόφοιτος ΕΜΠ, έγινε σήμερα ο πρώτος έλληνας στον οποίο αποδίδεται το Turing Award.
NEW YORK, Feb. 4 (AScribe Newswire) -- 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
άντε και στα δικά μας :cool:

http://newswire.ascribe.org/cgi-bin/beh ... 8&public=0

Re: στον Σήφη Σηφάκη το Turing Award 2007

Posted: Tue Feb 05, 2008 6:36 pm
by HdkiLLeR
Συγχαρητήρια απο εμένα. Μακάρι να έρθουν και άλλοι! Μέχρι στιγμής είχαμε μόνο Knuth Prize απο Παπαδημητρίου.

Re: στον Σήφη Σηφάκη το Turing Award 2007

Posted: Tue Feb 05, 2008 8:30 pm
by Fairy
Ορίστε και η προσωπική ιστοσελίδα του κυρίου αυτού:
http://www-verimag.imag.fr/~sifakis/

Re: στον Σήφη Σηφάκη το Turing Award 2007

Posted: Wed Feb 06, 2008 11:02 am
by tsilochr
Και λίγο e-κουτσομπολιό, άκουσα ότι με την ερευνητική περιοχή που ασχολείται ο κ. Σηφάκης, στην Ελλάδα είχε ασχοληθεί και ο κ. Κουρκουμπέτης όταν ήταν ακόμα στο Πανεπιστήμιο Κρήτης.

Re: στον Σήφη Σηφάκη το Turing Award 2007

Posted: Wed Feb 06, 2008 12:20 pm
by HdkiLLeR
tsilochr wrote:Και λίγο e-κουτσομπολιό, άκουσα ότι με την ερευνητική περιοχή που ασχολείται ο κ. Σηφάκης, στην Ελλάδα είχε ασχοληθεί και ο κ. Κουρκουμπέτης όταν ήταν ακόμα στο Πανεπιστήμιο Κρήτης.
Xmm, έχω την εντύπωση ότι πρόκειται για ράδιο αρβύλα. Ο Κουρκουμπέτης όταν ήταν στην Κρήτη ασχολούνταν κυρίως με ATM και απ' όσο ξέρω είχε κάνει αρκετή δουλειά πάνω σε αυτό. Τώρα βέβαια έχει κάνει πολλά πράγματα μπορεί να είχε ασχοληθεί και με αυτόν τον τομέα.

Re: στον Σήφη Σηφάκη το Turing Award 2007

Posted: Wed Feb 06, 2008 2:44 pm
by tsilochr
HdkiLLeR wrote:Xmm, έχω την εντύπωση ότι πρόκειται για ράδιο αρβύλα.
Τι να σου πω, ο Κουμπαράκης το είπε

Re: στον Σήφη Σηφάκη το Turing Award 2007

Posted: Wed Feb 06, 2008 4:38 pm
by HdkiLLeR
tsilochr wrote:
HdkiLLeR wrote:Xmm, έχω την εντύπωση ότι πρόκειται για ράδιο αρβύλα.
Τι να σου πω, ο Κουμπαράκης το είπε
Δεν διαφωνώ, μπορεί και να ξέρει περισσότερα.

Re: στον Σήφη Σηφάκη το Turing Award 2007

Posted: Sat Feb 23, 2008 5:03 am
by MiRacLe^f
Συνέντευξη του Σήφη Σηφάκη στο ΣΚΑΙ
http://www.skai.gr/master_story.php?id=74221

Re: στον Σήφη Σηφάκη το Turing Award 2007

Posted: Sat Feb 23, 2008 10:12 am
by The Punisher
Κρατάω τα παρακάτω
Πως νοιώθετε που ακόμη ασχολείστε με το πρώτο σας ειδικό αντικείμενο, που συνεχίζετε αυτό που ξεκινήσατε με το διδακτορικό σας;

"Έτσι έπρεπε να γίνει. Να προχωρήσω και μετά το διδακτορικό. Ξέρετε, οι ιδέες για να έχουν αντίκτυπο, όπως έχει σήμερα αντίκτυπο το model checking, χρειάζονται μερικές δεκαετίες. [...]
Τι θα λέγατε στους νέους Έλληνες που σπουδάζουν πληροφορική;

"Τα παιδιά να βγαίνουν έξω, να βλέπουν τον κόσμο. Οι Έλληνες μπορεί να λέμε συνέχεια για τα ελαττώματά μας, αλλά έχουμε και ορισμένα προτερήματα. Όταν ο Έλληνας βγει έξω, κι αυτό έχει αποδειχθεί, θα διαπρέψει. Είναι εντυπωσιακό πόσοι Έλληνες έχουν διαπρέψει. Λοιπόν, να βγουν έξω. Από κει και πέρα, υπάρχουν και πολλοί άλλοι παραγοντες που θα παίξουν ρόλο. Όμως, το πρώτο βήμα είναι να βγουν έξω".

Re: στον Σήφη Σηφάκη το Turing Award 2007

Posted: Mon Feb 25, 2008 3:59 am
by vasvas
Ο κ. Κουρκουμπέτης έχει κάνει πολύ και πολύ σημαντική δουλειά στο χώρο του computer aided verification από το 1990, όταν ήταν στα Bell Labs. Μάλιστα έχει γράψει άρθρα για το θέμα και με τον κ. Σηφάκη.

βραβείο Turing

Posted: Sat Oct 04, 2008 3:32 pm
by tasoskar

Re: βραβείο Turing

Posted: Sat Oct 04, 2008 4:40 pm
by necrofear_13
Πραγματικα συγχαρητηρια δεν εχω να πω τιποτα αλλο τα λογια ειναι περιττα.Τρομερη διακριση

Re: βραβείο Turing

Posted: Sat Oct 04, 2008 6:48 pm
by tsilochr
το θέμα είχε κουβεντιαστεί και εδώ

http://venus.cslab.aueb.gr/forum/viewto ... ring+award

χτες, το πρωί ο Σήφης Σηφάκης έδωσε ομιλία το πρωί στο Πανεπιστήμιο Αθηνών και σε βραδυνή εκδήλωση έγινε επίτιμος διδάκτορας του Πανεπιστημίου Αθήνων. Δυστυχώς δεν πρόλαβα να ενημερώσω εγκαίρως το παρόν forum

Re: βραβείο Turing

Posted: Sun Oct 05, 2008 9:27 am
by Dreamcatcher
είναι πολύ θετικό και προσωπικά με χαροποιεί να βλέπω τέτοιες επιβραβεύσεις σε "ανήσυχουσους" έλληνες ,αλλά δυστυχώς η μαμά ελλάδα "διώχνει τα μυαλά" της... :-(

Re: στον Σήφη Σηφάκη το Turing Award 2007

Posted: Mon Oct 06, 2008 2:35 pm
by rose
The Punisher wrote:Κρατάω τα παρακάτω
Τι θα λέγατε στους νέους Έλληνες που σπουδάζουν πληροφορική;

"Τα παιδιά να βγαίνουν έξω, να βλέπουν τον κόσμο. Οι Έλληνες μπορεί να λέμε συνέχεια για τα ελαττώματά μας, αλλά έχουμε και ορισμένα προτερήματα. Όταν ο Έλληνας βγει έξω, κι αυτό έχει αποδειχθεί, θα διαπρέψει. Είναι εντυπωσιακό πόσοι Έλληνες έχουν διαπρέψει. Λοιπόν, να βγουν έξω. Από κει και πέρα, υπάρχουν και πολλοί άλλοι παραγοντες που θα παίξουν ρόλο. Όμως, το πρώτο βήμα είναι να βγουν έξω".

Εγώ λέω να μείνετε εδώ, να δουλέψετε μέχρι τα 28 - 30 και μετα στο dubai για consulting με 10 - 15 χιλιάδες ευρώ το μηνα. Αν βγειτε με την μία, παίζει για τον α η β λόγο να ξενερώσετε και να θέλετε να γυρίσετε πίσω στην καλύτερη - $ -ηλικία...το γλυκό - πάντα - στο τέλος . Βέβαια δεν είναι τόσο απλά τα πράγματα, θέλει αρΧ*!@ και να γουστάρεις φυσικά.



Θεωρίες....

Re: στον Σήφη Σηφάκη το Turing Award 2007

Posted: Mon Oct 06, 2008 3:57 pm
by The Punisher
διαφωνώ πλήρως με τις χρηματοκεντρικές απόψεις που εκφράζεις σε διάφορα topics ... ίσως δε βλέπω τα πράγματα από την στυγνή επιχειρηματική οπτική γωνία

Re: στον Σήφη Σηφάκη το Turing Award 2007

Posted: Mon Oct 06, 2008 10:42 pm
by redlabel
2ετής είναι ακόμη, The Punisher, μπορεί σε λίγο να τη δει κι αλλοιώς... Πολλοί από μας την περάσαμε κάποια στιγμή τη φάση αυτή, έτσι δεν είναι;

Δ. Γκρ.

Re: στον Σήφη Σηφάκη το Turing Award 2007

Posted: Mon Oct 06, 2008 11:09 pm
by sandra
lol δευτεροετής και δεύτερο πτυχίο κ.Γκρίτζαλη :-D

Re: στον Σήφη Σηφάκη το Turing Award 2007

Posted: Tue Oct 07, 2008 9:05 am
by redlabel
sandra wrote:lol δευτεροετής και δεύτερο πτυχίο κ.Γκρίτζαλη :-D
No offense, αλλά το πρώτο φάνηκε κάπως σαν "αόρατο", φίλη Sandra...

Δ. Γκρ.

Re: στον Σήφη Σηφάκη το Turing Award 2007

Posted: Tue Oct 07, 2008 10:17 am
by rose
redlabel wrote:2ετής είναι ακόμη, The Punisher, μπορεί σε λίγο να τη δει κι αλλοιώς... Πολλοί από μας την περάσαμε κάποια στιγμή τη φάση αυτή, έτσι δεν είναι;

Δ. Γκρ.
sandra wrote:lol δευτεροετής και δεύτερο πτυχίο κ.Γκρίτζαλη :-D
redlabel wrote:
sandra wrote:lol δευτεροετής και δεύτερο πτυχίο κ.Γκρίτζαλη :-D
No offense, αλλά το πρώτο φάνηκε κάπως σαν "αόρατο", φίλη Sandra...

Δ. Γκρ.
Nα μπω και εγώ σε αυτή τη συζήτηση;