Το Πανεπιστημίου Κρήτης και το Τμήμα Επιστήμης Υπολογιστών, αναγορεύει τον κο Edmund M. Clarke, Καθηγητή Επιστήμης Υπολογιστών του Πανεπιστημίου Carnegie Mellon (CMU) των Η.Π.Α., σε Επίτιμο Διδάκτορα του Τμήματος τη Δευτέρα 13 Οκτωβρίου και ώρα 12:00, στο αμφιθέατρο « Μανασσάκη » του Φοιτητικού Κέντρου στην Πανεπιστημιούπολη Βουτών, στο Ηράκλειο.
Η αναγόρευση του τιμώμενου θα γίνει από τον Πρύτανη του Πανεπιστημίου Κρήτης, Καθηγητή Ευριπίδη Γ. Στεφάνου
Βιογραφικό Σημείωμα του Edmund M. Clarke:
O Edmund M. Clarke είναι Πανεπιστημιακός Καθηγητής (University Professor) της Επιστήμης Υπολογιστών στο Πανεπιστήμιο Carnegie Mellon (CMU), όπου κατέχει την επώνυμη έδρα FORE Systems. Έλαβε το διδακτορικό του από το Πανεπιστήμιο Cornell και δίδαξε στα Πανεπιστήμια Duke και Harvard πριν από την ένταξή του στο CMU το 1982 .
Τα ερευνητικά του ενδιαφέροντα περιλαμβάνουν την επαλήθευση υλικού και λογισμικού και την αυτόματη απόδειξη θεωρημάτων. Συγκεκριμένα, η ερευνητική ομάδα του ανέπτυξε τον Έλεγχο Συμβολικών Προτύπων (Symbolic Model Checking) χρησιμοποιώντας διαγράμματα για δυαδικές αποφάσεις (BDDs), τον Έλεγχο Φραγμένων Προτύπων (Bounded Model Checking) χρησιμοποιώντας ταχείς επιλυτές ικανοποιησιμότητας Συζευκτικών Κανονικών Μορφών (fast CNF satisfiability solvers), και ήταν πρωτοπόρος στη χρήση της Εκλέπτυνσης Αφαίρεσης Οδηγούμενης από Αντιπαράδειγμα (CounterExample-Guided-Abstraction-Refinement, CEGAR). Είναι συν-ιδρυτής του Συνεδρίου Computer Aided Verification (CAV).
Έχει λάβει πολλά βραβεία για τη συμβολή του στην τυπική επαλήθευση ορθότητας υλικού και λογισμικού συμπεριλαμβανομένου του βραβείου Goode του ΙΕΕΕ, του βραβείου Kanellakis της ACM, του βραβείου Turing της ACM και του βραβείου Herbrand του διεθνούς συνεδρίου CADE.
O Dr. Clarke, είναι μέλος της Εθνικής Ακαδημίας Μηχανικών και της Αμερικανικής Ακαδημίας Τεχνών και Επιστημών.
To 2014 έλαβε το βραβείο και έπαθλο Bower του Ινστιτούτου Franklin, για επιτεύγματα στην επιστήμη και για το έργο του, στην επαλήθευση συστημάτων υπολογιστών.
