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

Ενημέρωση και συζήτηση πάνω σε ερευνητικά θέματα και πανεπιστημιακά νέα.
Post Reply
User avatar
tsilochr
Wow! Terabyte level
Wow! Terabyte level
Posts: 3246
Joined: Tue Mar 16, 2004 2:47 pm
Academic status: PhD
Gender:
Location: mm.aueb.gr
Contact:

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

Post by tsilochr » Tue Feb 05, 2008 5:02 pm

Ο Σήφης Σηφάκης, απόφοιτος ΕΜΠ, έγινε σήμερα ο πρώτος έλληνας στον οποίο αποδίδεται το 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
User avatar
HdkiLLeR
Venus Project Founder
Venus Project Founder
Posts: 4356
Joined: Tue Jan 27, 2004 4:41 pm
Academic status: Alumnus/a
Gender:
Location: New York, NY
Contact:

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

Post by HdkiLLeR » Tue Feb 05, 2008 6:36 pm

Συγχαρητήρια απο εμένα. Μακάρι να έρθουν και άλλοι! Μέχρι στιγμής είχαμε μόνο Knuth Prize απο Παπαδημητρίου.
-----BEGIN GEEK CODE BLOCK-----
Version: 3.12
GCS d-->--- s+:+ a- C++(+++) BILS++++$ P--- L++++>+++++ E--- W+++ N+ o+ K w--
O M+ V-- PS++>+++ PE- Y++ PGP++ t+ 5+ X+ R* tv b++ DI- D+ G+++ e+++>++++ h r++ y++
------END GEEK CODE BLOCK------

"UNIX is basically a simple operating system, but you have to be a genius to understand the simplicity." -- Dennis Ritchie
User avatar
Fairy
Gbyte level
Gbyte level
Posts: 1733
Joined: Tue Jan 24, 2006 4:48 pm
Academic status: Alumnus/a
Gender:
Location: Mairyland Park

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

Post by Fairy » Tue Feb 05, 2008 8:30 pm

Ορίστε και η προσωπική ιστοσελίδα του κυρίου αυτού:
http://www-verimag.imag.fr/~sifakis/
"Αν αυτό που έκανες χτες σου φαίνεται ακόμα μεγάλο, δεν έχεις κάνει αρκετά σήμερα."
User avatar
tsilochr
Wow! Terabyte level
Wow! Terabyte level
Posts: 3246
Joined: Tue Mar 16, 2004 2:47 pm
Academic status: PhD
Gender:
Location: mm.aueb.gr
Contact:

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

Post by tsilochr » Wed Feb 06, 2008 11:02 am

Και λίγο e-κουτσομπολιό, άκουσα ότι με την ερευνητική περιοχή που ασχολείται ο κ. Σηφάκης, στην Ελλάδα είχε ασχοληθεί και ο κ. Κουρκουμπέτης όταν ήταν ακόμα στο Πανεπιστήμιο Κρήτης.
User avatar
HdkiLLeR
Venus Project Founder
Venus Project Founder
Posts: 4356
Joined: Tue Jan 27, 2004 4:41 pm
Academic status: Alumnus/a
Gender:
Location: New York, NY
Contact:

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

Post by HdkiLLeR » Wed Feb 06, 2008 12:20 pm

tsilochr wrote:Και λίγο e-κουτσομπολιό, άκουσα ότι με την ερευνητική περιοχή που ασχολείται ο κ. Σηφάκης, στην Ελλάδα είχε ασχοληθεί και ο κ. Κουρκουμπέτης όταν ήταν ακόμα στο Πανεπιστήμιο Κρήτης.
Xmm, έχω την εντύπωση ότι πρόκειται για ράδιο αρβύλα. Ο Κουρκουμπέτης όταν ήταν στην Κρήτη ασχολούνταν κυρίως με ATM και απ' όσο ξέρω είχε κάνει αρκετή δουλειά πάνω σε αυτό. Τώρα βέβαια έχει κάνει πολλά πράγματα μπορεί να είχε ασχοληθεί και με αυτόν τον τομέα.
-----BEGIN GEEK CODE BLOCK-----
Version: 3.12
GCS d-->--- s+:+ a- C++(+++) BILS++++$ P--- L++++>+++++ E--- W+++ N+ o+ K w--
O M+ V-- PS++>+++ PE- Y++ PGP++ t+ 5+ X+ R* tv b++ DI- D+ G+++ e+++>++++ h r++ y++
------END GEEK CODE BLOCK------

"UNIX is basically a simple operating system, but you have to be a genius to understand the simplicity." -- Dennis Ritchie
User avatar
tsilochr
Wow! Terabyte level
Wow! Terabyte level
Posts: 3246
Joined: Tue Mar 16, 2004 2:47 pm
Academic status: PhD
Gender:
Location: mm.aueb.gr
Contact:

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

Post by tsilochr » Wed Feb 06, 2008 2:44 pm

HdkiLLeR wrote:Xmm, έχω την εντύπωση ότι πρόκειται για ράδιο αρβύλα.
Τι να σου πω, ο Κουμπαράκης το είπε
User avatar
HdkiLLeR
Venus Project Founder
Venus Project Founder
Posts: 4356
Joined: Tue Jan 27, 2004 4:41 pm
Academic status: Alumnus/a
Gender:
Location: New York, NY
Contact:

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

Post by HdkiLLeR » Wed Feb 06, 2008 4:38 pm

tsilochr wrote:
HdkiLLeR wrote:Xmm, έχω την εντύπωση ότι πρόκειται για ράδιο αρβύλα.
Τι να σου πω, ο Κουμπαράκης το είπε
Δεν διαφωνώ, μπορεί και να ξέρει περισσότερα.
-----BEGIN GEEK CODE BLOCK-----
Version: 3.12
GCS d-->--- s+:+ a- C++(+++) BILS++++$ P--- L++++>+++++ E--- W+++ N+ o+ K w--
O M+ V-- PS++>+++ PE- Y++ PGP++ t+ 5+ X+ R* tv b++ DI- D+ G+++ e+++>++++ h r++ y++
------END GEEK CODE BLOCK------

"UNIX is basically a simple operating system, but you have to be a genius to understand the simplicity." -- Dennis Ritchie
User avatar
MiRacLe^f
Kilobyte level
Kilobyte level
Posts: 178
Joined: Tue May 31, 2005 10:38 pm
Academic status: N>4
Location: ALAMPRA, CYPRUS

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

Post by MiRacLe^f » Sat Feb 23, 2008 5:03 am

Συνέντευξη του Σήφη Σηφάκη στο ΣΚΑΙ
http://www.skai.gr/master_story.php?id=74221
Ο ΣΚΟΠΟΣ ΤΟΥ ΠΑΙΧΝΙΔΙΟΥ ΜΑΣ ΜΕ ΤΗΝ

ΦΥΣΗ ΔΕΝ ΕΙΝΑΙ ΝΑ ΚΕΡΔΙΣΟΥΜΕ ΑΛΛΑ ΝΑ

ΣΥΝΕΧΙΣΟΥΜΕ ΝΑ ΠΑΙΖΟΥΜΕ
The Punisher
Venus Former Team Member
Posts: 7561
Joined: Thu Oct 27, 2005 1:43 pm
Academic status: Alumnus/a
Gender:
Location: Boston, MA

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

Post by The Punisher » Sat Feb 23, 2008 10:12 am

Κρατάω τα παρακάτω
Πως νοιώθετε που ακόμη ασχολείστε με το πρώτο σας ειδικό αντικείμενο, που συνεχίζετε αυτό που ξεκινήσατε με το διδακτορικό σας;

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

"Τα παιδιά να βγαίνουν έξω, να βλέπουν τον κόσμο. Οι Έλληνες μπορεί να λέμε συνέχεια για τα ελαττώματά μας, αλλά έχουμε και ορισμένα προτερήματα. Όταν ο Έλληνας βγει έξω, κι αυτό έχει αποδειχθεί, θα διαπρέψει. Είναι εντυπωσιακό πόσοι Έλληνες έχουν διαπρέψει. Λοιπόν, να βγουν έξω. Από κει και πέρα, υπάρχουν και πολλοί άλλοι παραγοντες που θα παίξουν ρόλο. Όμως, το πρώτο βήμα είναι να βγουν έξω".
vasvas
Kilobyte level
Kilobyte level
Posts: 198
Joined: Fri Jul 09, 2004 2:31 pm

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

Post by vasvas » Mon Feb 25, 2008 3:59 am

Ο κ. Κουρκουμπέτης έχει κάνει πολύ και πολύ σημαντική δουλειά στο χώρο του computer aided verification από το 1990, όταν ήταν στα Bell Labs. Μάλιστα έχει γράψει άρθρα για το θέμα και με τον κ. Σηφάκη.
tasoskar
bit level
bit level
Posts: 27
Joined: Sun Oct 24, 2004 6:36 pm
Contact:

βραβείο Turing

Post by tasoskar » Sat Oct 04, 2008 3:32 pm

When they kick out your front door
How you gonna come?
With your hands on your head
Or on the trigger of your gun

Protest is when I say this does not please me.
Resistance is when I ensure what does not please me occurs no more
User avatar
necrofear_13
Wow! Terabyte level
Wow! Terabyte level
Posts: 2141
Joined: Sun Nov 18, 2007 5:32 am
Academic status: Alumnus/a
Gender:
Location: ΗΡΑΚΛΕΙΟ ΑΤΤΙΚΗΣ

Re: βραβείο Turing

Post by necrofear_13 » Sat Oct 04, 2008 4:40 pm

Πραγματικα συγχαρητηρια δεν εχω να πω τιποτα αλλο τα λογια ειναι περιττα.Τρομερη διακριση
No matter what kind of sadness envelops the darkness of our despair, if you put one foot in front of the other, at some point you will reach a place where you can see the light.

In heaven or earth, no matter to where we progress, no matter where we walk, that becomes our road.
As long as we keep walking the battle will continue.
And that is exactly why this place will always be a paradise
User avatar
tsilochr
Wow! Terabyte level
Wow! Terabyte level
Posts: 3246
Joined: Tue Mar 16, 2004 2:47 pm
Academic status: PhD
Gender:
Location: mm.aueb.gr
Contact:

Re: βραβείο Turing

Post by tsilochr » Sat Oct 04, 2008 6:48 pm

το θέμα είχε κουβεντιαστεί και εδώ

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

χτες, το πρωί ο Σήφης Σηφάκης έδωσε ομιλία το πρωί στο Πανεπιστήμιο Αθηνών και σε βραδυνή εκδήλωση έγινε επίτιμος διδάκτορας του Πανεπιστημίου Αθήνων. Δυστυχώς δεν πρόλαβα να ενημερώσω εγκαίρως το παρόν forum
User avatar
Dreamcatcher
Kilobyte level
Kilobyte level
Posts: 406
Joined: Sat Sep 22, 2007 10:37 am
Academic status: 3rd year
Gender:

Re: βραβείο Turing

Post by Dreamcatcher » Sun Oct 05, 2008 9:27 am

είναι πολύ θετικό και προσωπικά με χαροποιεί να βλέπω τέτοιες επιβραβεύσεις σε "ανήσυχουσους" έλληνες ,αλλά δυστυχώς η μαμά ελλάδα "διώχνει τα μυαλά" της... :-(
Αν δεν πιστέψεις το Αδύνατο, δεν θα φτάσεις ποτέ στα οριά του το Δυνατό!!!

Dreamcatcher
User avatar
rose
Gbyte level
Gbyte level
Posts: 1921
Joined: Sun May 20, 2007 8:59 pm
Academic status: 4th year
Gender:

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

Post by rose » Mon Oct 06, 2008 2:35 pm

The Punisher wrote:Κρατάω τα παρακάτω
Τι θα λέγατε στους νέους Έλληνες που σπουδάζουν πληροφορική;

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

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



Θεωρίες....
που θα πάει θα το δουμε...
The Punisher
Venus Former Team Member
Posts: 7561
Joined: Thu Oct 27, 2005 1:43 pm
Academic status: Alumnus/a
Gender:
Location: Boston, MA

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

Post by The Punisher » Mon Oct 06, 2008 3:57 pm

διαφωνώ πλήρως με τις χρηματοκεντρικές απόψεις που εκφράζεις σε διάφορα topics ... ίσως δε βλέπω τα πράγματα από την στυγνή επιχειρηματική οπτική γωνία
redlabel
Wow! Terabyte level
Wow! Terabyte level
Posts: 2057
Joined: Tue Jun 27, 2006 12:32 pm
Academic status: Professor
Gender:

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

Post by redlabel » Mon Oct 06, 2008 10:42 pm

2ετής είναι ακόμη, The Punisher, μπορεί σε λίγο να τη δει κι αλλοιώς... Πολλοί από μας την περάσαμε κάποια στιγμή τη φάση αυτή, έτσι δεν είναι;

Δ. Γκρ.
User avatar
sandra
Wow! Terabyte level
Wow! Terabyte level
Posts: 4917
Joined: Mon Oct 02, 2006 11:37 am
Academic status: Alumnus/a
Gender:
Location: στη φωλιά μου κοιτώντας ένα χωράφι με στάρι...

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

Post by sandra » Mon Oct 06, 2008 11:09 pm

lol δευτεροετής και δεύτερο πτυχίο κ.Γκρίτζαλη :-D
Από εδώ κι εμπρός θα είσαι για πάντα υπεύθυνος για εκείνο που έχεις ημερώσει.
Είσαι υπεύθυνος για το τριαντάφυλλο σου...
redlabel
Wow! Terabyte level
Wow! Terabyte level
Posts: 2057
Joined: Tue Jun 27, 2006 12:32 pm
Academic status: Professor
Gender:

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

Post by redlabel » Tue Oct 07, 2008 9:05 am

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

Δ. Γκρ.
User avatar
rose
Gbyte level
Gbyte level
Posts: 1921
Joined: Sun May 20, 2007 8:59 pm
Academic status: 4th year
Gender:

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

Post by rose » Tue Oct 07, 2008 10:17 am

redlabel wrote:2ετής είναι ακόμη, The Punisher, μπορεί σε λίγο να τη δει κι αλλοιώς... Πολλοί από μας την περάσαμε κάποια στιγμή τη φάση αυτή, έτσι δεν είναι;

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

Δ. Γκρ.
Nα μπω και εγώ σε αυτή τη συζήτηση;
που θα πάει θα το δουμε...
Post Reply

Return to “Ακαδημαϊκά Νέα”