ΣΕΜΙΝΑΡΙΟ ΤΜΗΜΑΤΟΣ & CEID SOCIAL HOUR
Ημερομηνία–χώρος: Παρασκευή 30 Μαρτίου, 4μμ, Κτίριο Β (Αίθουσα Συνεδριάσεων – ισόγειο) – Προσοχή στην διαφορετική ώρα αυτού του σεμιναρίου.
Ομιλητής: Παύλος Σπυράκης, Καθηγητής ΤΜΗΥΠ
Τίτλος: Μοντέλα και Μηχανισμοί για Προγραμματιζόμενα Υλικά
Περίληψη: Στήν ομιλία αυτή παρουσιάζουμε θεωρητικά μοντέλα γιά συστήματα προγραμματιζόμενων υλικών. Κατ αρχήν αναλύουμε κατανεμημένα πρωτόκολλα σύμφωνα με τα οποία , πολλα στοιχειώδη σωματιδια , καταλλήλως προγραμματισμένα , αλληλεπιδρούν με σκοπό να σχηματίσουν ένα τελικό σταθερό δίκτυο. Το βασικό αυτό μοντέλο είναι γνωστό ως “network constructors”. Στήν ομιλία παρουσιάζουμε πρωτόκολλα αλλά και κάτω φραγματα γιά τήν κατασκευή μερικών βασικών σταθερών δικτύων , καθώς και αποτελέσματα για την κατασκευή κάθε επιθυμητού δικτίου. Στη συνέχεια συζητάμε πιο εφαρμοσμένες εκδοχές των ως άνω μοντέλων , που λαμβάνουν υπ όψη μερικούς αρχικούς φυσικούς περιορισμούς σε μελλοντικά συστήματα προγραμματισμένων υλικών που θα λειτουργούν σε δυναμικά περιβάλλοντα. Τέοια συστήματα περιλαμβάνουν σύνολα σφαιρικών σωματιδίων , που κρατούνται ενωμένα μέσω μαγνητικών δυνάμεων και που το καθένα μπορεί να περιστραφεί γύρω απο κάποιον γείτονα είτε να γλυστρά πάνω σε μία γραμμή απο τέτοια σφαιρικά σωματίδια. Επικεντρωνόμαστε εδώ σε ερωτήματα δυνατότητας μετασχηματισμού ενός συστήματος Α σε ένα σύστημα-στόχο Β. Δίνουμε τους πρώτους αλγορίθμους και την πολυπλοκότητα για mechanical transformers.
Η ομιλία ειναι βασισμένη σέ ένα σύνολο εργασιών που έγιναν απο κοινού από τον Π. Σπυράκη και τον Διδάκτορα του στο Τμήμα μας (και τώρα συναδελφο) Όθωνα Μιχαήλ (google , dblp : Othon Michail). Οι εργασίες δημοσιεύτηκαν στα συνέδρια ACM PODC 2014 , 2015 καθώς και στο ICALP 2017 (με τήν συμμετοχή και τού προπτυχιακού φοιτητή του ΤΜΗΥΠ Γιώργου Σκρέτα) , στήν προσκεκλημμένη ομιλια τού Π. Σπυρακη στο συνέδριο SOFSEM 2017 (και την αντίστοιχη εργασία μαζι με τον Όθωνα Μιχαήλ εκεί) , καθώς και στα περιοδικά Distributed Computing 2016 , Theoretical Computer Science 2017 και Communications of the ACM 2018.