Is Computing a Science ?
4 Μαρτίου 2016, ώρα 11πμ., Αίθουσα Α31, Σχολή Θετικών Επιστημών Α.Π.Θ.
Initially considered rather as applied technology, over the years computing resisted absorption back into the fields of its roots and developed an impressive body of knowledge. We discuss how computing is related to other domains of knowledge and draw conclusions about the very nature of the discipline.
Computing deals with the study of information processing. Information is defined as a relationship between the syntax and the semantics of a language. It is an entity independent from matter and energy. It is not subject to space-time constraints. It is non material, although it needs media for its representation.
Computing has developed as a domain of knowledge from prior knowledge about computation based on mathematics and logic. In contrast to physical sciences, it focuses on the design of artefacts. The dominant paradigm is synthesis rather than analysis to understand and predict phenomena. Nonetheless, both computing and physical sciences share a common objective: the study of dynamic systems. Physical phenomena can be understood not only through the study of immutable laws, but also as computational processes. Physical systems are inherently synchronous and driven by uniform laws. Computing systems ignore physical time and are driven by specific laws defined by their designers. Despite these differences, computing and physical sciences are rooted in two common paradigms that characterize any scientific approach. The first is the application of modularity principles to cope with the inherent complexity of phenomena. The second is the use of abstraction hierarchies of models that describe phenomena at different levels of detail. We discuss similarities and differences in the application of these paradigms.
A central problem in computing is the study of design as a formal process leading from requirements to correct systems. Providing design with scientific foundations raises several deep theoretical problems including the conceptualization of needs using declarative languages, their proceduralization and implementation. Additionally, design “scientization” seeks the purposeful and coherent integration of methods through the study of general semantic models, of expressive component frameworks and most importantly, of theory for achieving correctness-by-construction. This endeavor and its overarching goal are both intellectually challenging and culturally enlightening. It is at least as important the quest for scientific discovery in physical sciences and nicely complements the effort for scientific progress and its fruition.
Σύντομο Βιογραφικό κ. Σηφάκη
Ο Ιωσήφ Σηφάκης είναι ηλεκτρολόγος μηχανικός του Εθνικού Μετσοβίου Πολυτεχνείου και Διδάκτωρ Πληροφορικής του Πανεπιστήμιου της Grenoble. Είναι Διευθυντής του Center for Integrative Research στην Γκρενόμπλ και καθηγητής στο Πολυτεχνείο της Λωζανης (EPFL). Ο Ιωσήφ Σηφάκης είναι ο ιδρυτής του εργαστηρίου Verimag στην Grenoble. Το Verimag είναι διεθνώς αναγνωρισμένο στον τομέα της σχεδίασης κρίσιμων συστημάτων. Αρχές των ετών 90 ανέπτυξε σε συνεργασία με την βιομηχανια και ιδιατερα την Airbus, την τεχνολογία fly-by-wire που χρησιμοποιήθηκε για πρώτη φορά σε επιβατικά αεροπλάνα (Airbus320) για τον αυτόματο έλεγχο πτήσεων. Ο Ιωσήφ Σηφάκης είναι διεθνώς αναγνωρισμένος για τις πρωτοποριακές εργασίες του στον τομέα της σχεδίασης και επαλήθευσης συστημάτων. Είναι από τους θεμελιωτές του Model-Checking που είναι η κύρια βιομηχανική μέθοδος επαλήθευσης πληροφορικών συστημάτων σήμερα χρησιμοποιούμενη από εταιρείες όπως Intel, Microsoft και Google.
Για την συμβολή του στην θεωρία και την εφαρμογή μεθόδων επαλήθευσης, του απονεμήθηκε το βραβείο Turing 2007 (http://en.wikipedia.org/wiki/Turing_Award ), το αντίστοιχο του βραβείου Νόμπελ στην Πληροφορική. Σήμερα, τα ενδιαφέροντα του επικεντρώνονται στην μελέτη μεθόδων κατασκευής ενσωματωμένων συστημάτων υψηλής ασφάλειας και πιστότητας.
Ο Ιωσήφ Σηφάκης είναι μέλος της Γαλλικής Ακαδημίας Επιστήμων, της Γαλλικής Ακαδημίας Τεχνολογιών και της Ευρωπαϊκής Ακαδημίας και της American Academy of Arts and Sciences. Το γαλλικό κράτος του απένειμε το 2009 τον τίτλο του Μεγάλου Αξιωματούχου Εθνικής Άξίας (Grand Officier de l’Ordre du Mérite) και τον τίτλο του διοικητού της Λεγεώνας της Τιμής (Commandant de la Légion d’Honneur) το 2011.
To 2009, του απενεμήθη το Βραβείο του Ίδρύματος της Βουλής των Ελλήνων για τον Κοινοβουλευτισμό και την Δημοκρατία. To 2013 του απενεμήθη ο Ταξιάρχης του Τάγματος του Φοίνικος. Το 2012, του απενεμήθη το Leonardo Da Vinci Medal (http://www.sefi.be/?page_id=17). Ο Ιωσήφ Σηφάκης είναι Πρόεδρος του Εθνικού Συμβουλίου Έρευνας και Τεχνολογίας.