Ιωσήφ Σηφάκης
«Η κατάκτηση της γνώσης απαιτεί αυτογνωσία και ήθος», σημειώνει ο Ιωσήφ Σηφάκης
Της ΑΝΝΑΣ ΓΡΙΜΑΝΗ INFO: Ο καθηγητής Ιωσήφ Σηφάκης, ηλεκτρολόγος μηχανικός του Εθνικού Μετσοβίου Πολυτεχνείου και Διδάκτωρ Πληροφορικής του Πανεπιστήμιου της Grenoble, είναι διεθνώς αναγνωρισμένος για τις πρωτοποριακές εργασίες του στον τομέα της σχεδίασης και επαλήθευσης συστημάτων. Από τους θεμελιωτές του Model-Checking- κύρια βιομηχανική μέθοδος επαλήθευσης πληροφορικών συστημάτων χρησιμοποιούμενη σήμερα, από εταιρείες όπως Intel, Microsoft και […]
4o Φόρουμ των «σοφών» στα Μαθηματικά και τους Υπολογιστές στη Χαϊδελβέργη
Για τέταρτη χρονιά συγκεντρώθηκαν στη Χαϊδελβέργη της Γερμανίας τα «κεφάλια» στα πεδία των Μαθηματικών και της επιστήμης των Υπολογιστών, προκειμένου να ανταλλάξουν απόψεις. Συμμετέχουν μόνο οι βραβευμένοι με τα κορυφαία διεθνή βραβεία στους τομείς αυτούς (Turing, Abel, Fields και Nevanlinna – δεν απονέμεται Νόμπελ Μαθηματικών).