Greek infotainment community

Το Lateam είναι Ε Ν Α Ν Τ Ι Α σε οποιαδήποτε μορφή Π Ε Ι Ρ Α Τ Ε Ι Α Σ
Facebooktwitter
Επιστροφή   Greek infotainment community > Tech Point > ΤΕΧΝΟΛΟΓΙΚΑ ΝΕΑ-GADGETS

Το βραβείο Turing 2007 απενεμήθη σε Έλληνα ερευνητή

This is a discussion on Το βραβείο Turing 2007 απενεμήθη σε Έλληνα ερευνητή within the ΤΕΧΝΟΛΟΓΙΚΑ ΝΕΑ-GADGETS forums, part of the Tech Point category; Ύψιστη διάκριση για Έλληνα επιστήμονα από την ACM (Association for Computing Machinery), που ανακοίνωσε επισήμως στη Νέα Υόρκη την απονομή ...

Νέο Θέμα  Απάντηση στο θέμα
 
Εργαλεία Θεμάτων Τρόποι εμφάνισης
Παλιά 09-02-2008, 13:51:   #1
kouklitsa
LaTeamer
 
Το avatar του χρήστη kouklitsa
 
Εγγραφή: Feb 2008
Περιοχή: somewhere in the Universe...
Μηνύματα: 138
Thanks: 20
Thanked 41 Times in 23 Posts
My Mood:
kouklitsa is on a distinguished roadkouklitsa is on a distinguished roadkouklitsa is on a distinguished roadkouklitsa is on a distinguished road
Προεπιλογή Το βραβείο Turing 2007 απενεμήθη σε Έλληνα ερευνητή

Ύψιστη διάκριση για Έλληνα επιστήμονα από την ACM (Association for Computing Machinery), που ανακοίνωσε επισήμως στη Νέα Υόρκη την απονομή του βραβείου Turing 2007 στο γεννημένο και μεγαλωμένο στο Ηράκλειο, Σήφη Εμ. Σηφάκη, ο οποίος εδώ και πολλά χρόνια ζει και εργάζεται στην Grenoble της Γαλλίας ως ερευνητής του CNRS.
Το ίδιο βραβείο θα λάβουν και οι Αμερικανοί ερευνητές Edmund Clarke, του Πανεπιστημίου Carnegie Mellon των ΗΠΑ και Allen Emerson, του Πανεπιστημίου του Τέξας (Austin) των ΗΠΑ, για τις εργασίες τους πάνω στο Model Checking, τεχνολογία επαλήθευσης συστημάτων Πληροφορικής.

Το διεθνές βραβείο Turing φέρει το όνομα του Άγγλου μαθηματικού Alan Turing, ο οποίος θεωρείται θεμελιωτής της Πληροφορικής και απονέμεται κάθε χρόνο από την ACM. Είναι η ανώτατη διάκριση σε επιστήμονες της Πληροφορικής, με κύρος ισάξιο ενός βραβείου Nobel (βραβείο Nobel στην Πληροφορική δεν έχει θεσπιστεί ακόμη) και επιβραβεύει υψίστης σημασίας έρευνες στον τομέα της Πληροφορικής.

Το Model Checking έχει τεράστια σημασία για την Επιστήμη και Βιομηχανία. Πρόκειται για μια μαθηματική-αλγοριθμική διαδικασία, που επιτρέπει τον έλεγχο της σωστής λειτουργίας των υλικών μερών (hardware) ή του σύνθετου λογισμικού (software) ενός συστήματος. Η διαδικασία αυτή, δηλαδή, ελέγχει με μαθηματικές μεθόδους αν ένα εξαιρετικά πολύπλοκο σύστημα πληροί τις προδιαγραφές των κατασκευαστών του. Επιπλέον, στην περίπτωση μη επαλήθευσης, η διαδικασία παράγει παραδείγματα, τα οποία βοηθούν στον εντοπισμό της πηγής του προβλήματος.

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

Οι εργασίες των Clarke, Emerson και Σηφάκη εξακολουθούν να είναι καθοριστικές για την επιτυχία αυτού του τομέα της έρευνας. Οδήγησαν στη δημιουργία νέων λογικών (με τη έννοια της Μαθηματικής Λογικής) για την έκφραση προδιαγραφών και νέων αλγορίθμων επαλήθευσης. Εργαλεία που στηρίζονται στο Model Checking ανεπτυγμένα τόσο από πανεπιστημιακές όσο και από βιομηχανικές ομάδες, αποτελούν την κύρια τεχνολογία για την επαλήθευση και την πιστοποίηση σύνθετων συστημάτων. Για παράδειγμα, η τεχνολογία αυτή επιτρέπει συχνά στους μηχανικούς των ενσωματωμένων κυκλωμάτων να αναπτύξουν πολύπλοκα συστήματα με αυξημένη αξιοπιστία ως προς τις αρχικές απαιτήσεις. Αναμένεται ότι η συμβολή του Model Checking στη βιομηχανία θα είναι ακόμα πιο σημαντική στο μέλλον.

Ο Σήφης Σηφάκης είναι διευθυντής έρευνας στο CNRS και ιδρυτής του εργαστηρίου Verimag στην Grenoble. Είναι γνωστός για τις πρωτοποριακές εργασίες του, τόσο σε πρακτικό όσο και σε θεωρητικό επίπεδο, στη μοντελοποίηση των συστημάτων και την επαλήθευσή τους. Οι τρέχουσες ερευνητικές του δραστηριότητες αφορούν τα συστήματα πραγματικού χρόνου υψηλής πιστότητας με εφαρμογές στα αεροπλάνα, το Διάστημα, τα αυτοκίνητα και τις τηλεπικοινωνίες. Έχει ενεργό δράση στη μεταφορά των αποτελεσμάτων της έρευνας στη βιομηχανία, κυρίως σε συνεργασία με εταιρείες όπως οι Airbus, Schneider Electric, STMicroelectronics και France.

πηγή: ΑΠΕ 06/02/08 Ανδρέας Ροδίτης news.ert.gr
Ο χρήστης kouklitsa δεν είναι συνδεδεμένος   Απάντηση με παράθεση
Sponsored Links
Απάντηση στο θέμα

Bookmarks

Εργαλεία Θεμάτων
Τρόποι εμφάνισης

Δικαιώματα - Επιλογές
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts

BB code is σε λειτουργία
Τα Smilies είναι σε λειτουργία
Ο κώδικας [IMG] είναι σε λειτουργία
Ο κώδικας HTML είναι εκτός λειτουργίας


Παρόμοια Θέματα
Θέμα Δημιουργός Forum Απαντήσεις Τελευταίο Μήνυμα
Το γρήγορο φαγητό μπορεί να προκαλέσει αύξηση του πάχους, σύμφωνα με έλληνα ερευνητή LATEAM RSS NEWS 0 05-11-2009 12:20:
Χαρτογραφήθηκε από Έλληνα ερευνητή η εξάπλωση του ιού του AIDS στην Ευρώπη LATEAM RSS NEWS 0 28-05-2009 11:16:
Σε Έλληνα μαθηματικό το διεθνές βραβείο "Πριγκοζίν" LATEAM RSS NEWS 0 25-09-2008 13:00:
Βραβείο σε Έλληνα ερευνητή LATEAM RSS NEWS 0 24-09-2008 17:47:
Επαναστατικό εμβόλιο από έλληνα ερευνητή LATEAM RSS NEWS 0 19-08-2008 11:26:


Όλες οι ώρες είναι GMT +2. Η ώρα τώρα είναι 17:13:.


Powered and Developed by Lateam.gr
Forum engine powered by : vBulletin Version 3.8.5
Copyright ©2000 - 2017, Jelsoft Enterprises Ltd.
Content Relevant URLs by vBSEO 3.5.1
Lateam