English Home

«Κατανοώντας και αλλάζοντας τον κόσμο» διάλεξη του καθηγητή Ιωσήφ Σηφάκη.

Βόλος 13/4/2018

Την Παρασκευή 13 Απριλίου 2018, στο Τμήμα Οικονομικών Επιστημών (28ης Οκτωβρίου & Π. Μελά) θα πραγματοποιηθεί διάλεξη του Καθηγητή Ιωσήφ Σηφάκη, με θέμα: « Κατανοώντας και αλλάζοντας τον κόσμο». Ο καθηγητής Ιωσήφ Σηφάκης είναι Διδάκτωρ Πληροφορικής του Πανεπιστήμιου της Grenoble, είναι από τους θεμελιωτές του Model-Checking που είναι η κύρια βιομηχανική μέθοδος επαλήθευσης πληροφορικών συστημάτων σήμερα χρησιμοποιούμενη από εταιρείες όπως Intel, Microsoft και Google. Για την συμβολή του στην θεωρία και την εφαρμογή μεθόδων επαλήθευσης, του απονεμήθηκε το βραβείο Turing 2007, το αντίστοιχο του βραβείου Νόμπελ στην Πληροφορική. Διετέλεσε Πρόεδρος του Εθνικού Συμβουλίου Έρευνας και Τεχνολογίας. Οργάνωση: Μουσείο Ελιάς και Λαδιού Πηλίου, Πανεπιστήμιο Θεσσαλίας, Εταιρεία Θεσσαλικών Ερευνών.

Δελτίο Τύπου
Ιωσήφ Σηφάκης: Το κενό καιτο φως
Πρόσκληση