• home
  • people-all
  • studies
  • research
  • announcements
  • links
  • services

Αναγόρευση του κ. Edmund M. Clarke, Καθηγητή του Πανεπιστημίου Carnegie Mellon των Η.Π.Α., σε Επίτιμο Διδάκτορα του Τμήματος Επιστήμης Υπολογιστών

ΠΡΟΓΡΑΜΜΑ ΤΕΛΕΤΗΣ ΑΝΑΓΟΡΕΥΣΗΣ

 

  • Έναρξη Τελετής
  • Προσφώνηση από τον Πρύτανη του Πανεπιστημίου Κρήτης, Καθηγητή Ευριπίδη Γ. Στεφάνου
  • Προσφώνηση από τον Κοσμήτορα της Σχολής Θετικών & Τεχνολογικών Επιστημών του Πανεπιστημίου Κρήτης, Καθηγητή Μιχαήλ Ταρουδάκη
  • Προσφώνηση από τον Πρόεδρο του Τμήματος Επιστήμης Υπολογιστών του Πανεπιστημίου Κρήτης, Καθηγητή Παναγιώτη Τσακαλίδη
  • Παρουσίαση του έργου του τιμώμενου από τον Καθηγητή του Τμήματος Επιστήμης Υπολογιστών του Πανεπιστημίου Κρήτης, Χρήστο Νικολάου
  • Ανάγνωση του Ψηφίσματος, της Αναγόρευσης και του Διδακτορικού Διπλώματος από τον Πρόεδρο του Τμήματος Επιστήμης Υπολογιστών, Καθηγητή Παναγιώτη Τσακαλίδη
  • Επίδοση των μεμβρανών από τον Κοσμήτορα της Σχολής Θετικών & Τεχνολογικών Επιστημών, Καθηγητή Μιχαήλ Ταρουδάκη
  • Επίδοση του μεταλλίου από τον Πρύτανη, Καθηγητή Ευριπίδη Γ. Στεφάνου στον Καθηγητή Edmund M. Clarke.
  • Ομιλία του τιμώμενου με θέμα: «Model Checking and the Verification of Computer Systems»
  • Μουσικό πρόγραμμα από το Σύνολο Χορδών «Casus Celli»
  • Λήξη Τελετής
 
 (44)
 (45)