filmov
tv
«Τα Μαθηματικά και η Επανάσταση της Γνώσης»
Показать описание
Η δεύτερη εσπερίδα του κύκλου «Διάλογοι στα Μαθηματικά» θα πραγματοποιηθεί την Τετάρτη 26 Μαΐου 2021 και ώρα 18:00, με ομιλητή τον διακεκριμένο Καθηγητή Ιωσήφ Σηφάκη. Την ομιλία του με τίτλο «Τα μαθηματικά και η Επανάσταση της Γνώσης» θα προλογίσει ο καθηγητής Αριστείδης Κοντογιώργης, Πρόεδρος του Μαθηματικού Τμήματος του ΕΚΠΑ. Στόχος του Προγράμματος «Διάλογοι στα Μαθηματικά» της Μαθηματικής Άνοιξης είναι να ακουστούν οι πλέον έγκυρες απόψεις για Μαθηματική Εκπαίδευση.
Ο καθηγητής Ιωσήφ Σηφάκης είναι διεθνώς αναγνωρισμένος για τις πρωτοποριακές εργασίες του στον τομέα της σχεδίασης και επαλήθευσης συστημάτων. Είναι από τους θεμελιωτές του Model-Checking που είναι η κύρια βιομηχανική μέθοδος επαλήθευσης πληροφορικών συστημάτων σήμερα χρησιμοποιούμενη από εταιρείες όπως Intel, Microsoft και Google.
Για την συμβολή του στην θεωρία και την εφαρμογή μεθόδων επαλήθευσης, του απονεμήθηκε το βραβείο Turing 2007 το αντίστοιχο του βραβείου Νόμπελ στην Πληροφορική.
Time
Ο καθηγητής Ιωσήφ Σηφάκης είναι διεθνώς αναγνωρισμένος για τις πρωτοποριακές εργασίες του στον τομέα της σχεδίασης και επαλήθευσης συστημάτων. Είναι από τους θεμελιωτές του Model-Checking που είναι η κύρια βιομηχανική μέθοδος επαλήθευσης πληροφορικών συστημάτων σήμερα χρησιμοποιούμενη από εταιρείες όπως Intel, Microsoft και Google.
Για την συμβολή του στην θεωρία και την εφαρμογή μεθόδων επαλήθευσης, του απονεμήθηκε το βραβείο Turing 2007 το αντίστοιχο του βραβείου Νόμπελ στην Πληροφορική.
Time
1:58:45
2:10:47
0:02:36
0:04:49
0:00:59
0:04:49
0:04:24
0:13:11
0:00:34
0:07:32
0:26:35
1:47:35
0:03:46
0:02:37
0:08:56
0:12:37
1:33:35
0:05:35
0:02:49
0:06:32
0:00:44
3:30:46
0:26:01
0:03:55