Ed Clarke: "H έρευνα σε επιστήμη, τεχνολογία, μηχανική και μαθηματικά 'φάρμακο' για την οικονομική και κοινωνική κρίση στην Ελλάδα"
10:53 14/10/2014
- Πηγή: Emea.gr
στον Γιάννη ΔΙΟΝΑΤΟ O Edmund M. Clarke ξεκίνησε ως μαθηματικός. Τον κέρδισε όμως η Πληροφορική. Εργάστηκε ως ερευνητής με τεράστια συνεισφορά στο πολύ δύσκολο πρόβλημα της επαλήθευσης της ορθότητας προγραμμάτων που εκτελούν ζωτικές λειτουργίες όπως ο έλεγχος ενός αεροπλάνου ή ενός διαστημόπλοιου εν πτήσει. Για την συνεισφορά του αυτή ο Ed Clarke τιμήθηκε το 2007
The post Ed Clarke: "H έρευνα σε επιστήμη, τεχνολογία, μηχανική και μαθηματικά 'φάρμακο' για την οικονομική και κοινωνική κρίση στην Ελλάδα" appeared first on EMEA.gr.
Keywords
Τυχαία Θέματα
- Δημοφιλέστερες Ειδήσεις Κατηγορίας Οικονομία
- Τέλος στα κοινόχρηστα;
- Με κομμένη την ανάσα στην Αμφίπολη - Η θεωρία για τον Βουκεφάλα, η οικογένεια των Τημενιδών και ο γενειοφόρος πολεμιστής
- Νίκη Πατούλη στις εκλογές του ΙΣΑ
- Αμφίπολη: Η παράσταση «μιλάει» από μόνη της
- DryShips: “Γκρεμίζεται” η ναυτιλιακή του Γ. Οικονόμου στη Wall
- Επανέρχονται τα σενάρια για τον Μέγα Αλέξανδρο στην Αμφίπολη
- Στ. Θεοδωράκης: Με ποιούς θα συνεργαστεί το Ποτάμι…
- Μειώνονται τα έσοδα από τα τέλη κυκλοφορίας
- Τι εφάπαξ θα λάβουν έως το τέλος του 2014 οι δημόσιοι υπάλληλοι
- Ο αποτυχημένος πρώην ηθοποιός που έβγαλε δισ. παίζοντας με... λούτρινα ζωάκια
- Δημοφιλέστερες Ειδήσεις Emea.gr
- BlackRock: Τρισεκατομμύρια δολάρια από... σεντούκια θα δώσουν ώθηση στην παγκόσμια οικονομία
- "Εξαπλώνεται" το νέο iPhone
- Το Χίθροου μπλοκάρει την επέκταση της Virgin Atlantic
- Ρουμανία: Αμερικάνικο concept για την Ana Pan
- Ποιον συμφέρει η πόλωση;
- Ρουμανία: Αυτόματο σύστημα για ασυμβίβαστα σε διαγωνισμούς
- Ed Clarke: "H έρευνα σε επιστήμη, τεχνολογία, μηχανική και μαθηματικά 'φάρμακο' για την οικονομική και κοινωνική κρίση στην Ελλάδα"
- Γιατί δεν "πουλάει" η Datsun;
- Τελευταία Νέα Emea.gr
- Ed Clarke: "H έρευνα σε επιστήμη, τεχνολογία, μηχανική και μαθηματικά 'φάρμακο' για την οικονομική και κοινωνική κρίση στην Ελλάδα"
- Γιατί δεν "πουλάει" η Datsun;
- Ποιον συμφέρει η πόλωση;
- Ρουμανία: Αυτόματο σύστημα για ασυμβίβαστα σε διαγωνισμούς
- Το Χίθροου μπλοκάρει την επέκταση της Virgin Atlantic
- BlackRock: Τρισεκατομμύρια δολάρια από... σεντούκια θα δώσουν ώθηση στην παγκόσμια οικονομία
- Ρουμανία: Αμερικάνικο concept για την Ana Pan
- "Εξαπλώνεται" το νέο iPhone
- Iliad: Εγκατέλειψε τις προσπάθειες για εξαγορά της T-Mobile US
- Επανεμφανίστηκε ο ηγέτης της Βόρειας Κορέας
- Τελευταία Νέα Κατηγορίας Οικονομία
- Το επικίνδυνο στοίχημα της Τουρκίας στη Συρία
- «Το τίμημα της ανισότητας» Β' τόμος: Δωρεάν με την Ημερησία του Σαββάτου
- ΙΚΑ: Παρέμβαση Σπυρόπουλου για τον υπάλληλο που γιαούρτωσε τον διευθυντή του
- Oυρές χιλιομέτρων στην Αττική Οδό λόγω καραμπόλας στο ρεύμα προς Ελευσίνα
- Στα τέλη του 2016 οι νέες αντικειμενικές αξίες για τα ακίνητα
- Attica Bank: Συνεχίζονται οι επαφές με τους στρατηγικούς επενδυτές
- Σε θέση άμυνας ο Σόιμπλε
- ΕΛΛΑΔΑ – Β. ΙΡΛΑΝΔΙΑ 0-2 (ΤΕΛΙΚΟ): Επιτάφιος για τον Ρανιέρι και την Εθνική ομάδα!
- Σήμερα η συνάντηση Alamuddin - Τασούλα με "φόντο" την επιστροφή των Μαρμάρων
- "Πιθανόν να παρακολουθούνται τα τηλέφωνα βουλευτών"
