elbgcsdanlenfifrdehuisitplptroruslessv
  • Αρχική
  • Συνέδρια
    • 1ο Συνέδριο
    • 2ο Συνέδριο
    • 3ο Συνέδριο
    • 4ο Συνέδριο
      • Πρόγραμμα
      • Βιβλίο Περιλήψεων
      • Οδηγίες Παρουσιάσεων
      • Τόπος Διεξαγωγής
      • Παράλληλες Εκδηλώσεις
      • Κατάλογος Κριτών
      • Κατάλογος Ξενοδοχείων
      • Επιστημονική Επιτροπή
    • 5ο Συνέδριο
      • Πρόγραμμα
      • Οργάνωση και Διαμονή
      • Πρώτη Ανακοίνωση
    • 6ο Συνέδριο
      • Πρόγραμμα
      • 1st Announcement
      • 1η Ανακοίνωση
      • 2η Ανακοίνωση
      • Οργάνωση και Διαμονή
    • 7ο Συνέδριο
      • 1η Ανακοίνωση
      • Οργάνωση & Διαμονή
      • Πρόγραμμα
  • Εκδηλώσεις
  • Εκδόσεις
    • 1ο Συνέδριο
    • 2ο Συνέδριο
    • 3ο Συνέδριο
    • 4ο Συνέδριο
    • 5ο Συνέδριο
    • 6ο Συνέδριο
  • Παράλληλες Εκδηλώσεις
  • Σκοποί
  • Διοικητικό Συμβούλιο
  • Επικοινωνία
  • 9ο Συνέδριο

Το Ι.Α.Κ.Ε. τιμά τον διακεκριμένο επιστήμονα και ακαδημαϊκό κ. Ιωσήφ Σηφάκη

0
0
0
s2sdefault

Ο διακεκριμένος επιστήμονας κ. Ιωσήφ Σηφάκης ένας εκ των κορυφαίων επιστημόνων στον τομέα της Πληροφορικής σε παγκόσμιο επίπεδο, μέλος της Γαλλικής Ακαδημίας Επιστήμων, της Γαλλικής Ακαδημίας Τεχνολογιών και της Ευρωπαϊκής Ακαδημίας και της American Academy of Arts and Sciences, κάτοχος του βραβείου Turing 2007, ήταν ο κεντρικός ομιλητής στην επίσημη έναρξη του 3ου Πανελλήνιου Επιστημονικού Συνεδρίου με διεθνή συμμετοχή του Ι.Α.Κ.Ε., με θέμα: «Ανθρωπιστικές Επιστήμες, Εκπαίδευση, Κοινωνία και Πολιτική Παιδεία», την Παρασκευή 5 Μαϊου 2017 στις 7.00 μ.μ., όπου ανέπτυξε το θέμα: «Κατανοώντας και αλλάζοντας τον κόσμο»

Ο Ιωσήφ Σηφάκης είναι ηλεκτρολόγος μηχανικός του Εθνικού Μετσόβιου Πολυτεχνείου και Διδάκτωρ Πληροφορικής του Πανεπιστήμιου της Grenoble. Είναι διευθυντής του Center for Integrative Research στη Grenoble. Διετέλεσε καθηγητής στο Πολυτεχνείο της Λωζάνης (EPFL) και είναι ο ιδρυτής του εργαστηρίου Verimag στη Grenoble. Το Verimag είναι διεθνώς αναγνωρισμένο στον τομέα της σχεδίασης κρίσιμων συστημάτων. Στις αρχές της δεκαετίας του 90 ανέπτυξε σε συνεργασία με την βιομηχανία και ιδιαίτερα την Airbus την τεχνολογία fly-by-wire που χρησιμοποιήθηκε για πρώτη φορά σε επιβατικά αεροπλάνα (Airbus320) για τον αυτόματο έλεγχο πτήσεων.

Ο Ιωσήφ Σηφάκης είναι διεθνώς αναγνωρισμένος για τις πρωτοποριακές εργασίες του στον τομέα της σχεδίασης και επαλήθευσης συστημάτων. Είναι από τους θεμελιωτές του Model-Checking, που είναι η κύρια βιομηχανική μέθοδος επαλήθευσης πληροφορικών συστημάτων σήμερα χρησιμοποιούμενη από εταιρείες όπως Intel, Microsoft και Google.

Για τη συμβολή του στη θεωρία και την εφαρμογή μεθόδων επαλήθευσης, του απονεμήθηκε το βραβείο Turing 2007 (http://en.wikipedia.org/wiki/Turing_Award), το αντίστοιχο του βραβείου Νόμπελ στην Πληροφορική.

Περισσότερα...

Μηνύματα Οικ. Πατριάρχη
9ο Συνέδριο
8ο Συνέδριο
7ο Συνέδριο
6ο Συνέδριο
5ο Συνέδριο
4ο Συνέδριο
3ο Συνέδριο
2ο Συνέδριο
1ο Συνέδριο

Επιστημονικοί Φορείς

Βραβεύσεις - Διακρίσεις

Εργαστήρια

Συμπόσια

Τιμητικές Προσωπογραφίες

Διεθνείς Συνεργασίες
Συνδικαλιστικοί Φορείς
Εκδηλώσεις Διαλόγου
Money Show

Εθελοντές

Σεμινάρια  Workshops
Παράλληλες Εκδηλώσεις

Συνεργασίες-Συνάντησεις

CSS Valid | XHTML Valid | Top | + | - | reset | RTL | LTR
Copyright © Eximium 2023 All rights reserved. Custom Design by Youjoomla.com
Συνέδρια