Κατά τη διάρκεια του ακαδημαϊκού έτους 2012-2013, συν-διοργάνωσα μια εβδομαδιαία ερευνητική συνάντηση με θέμα τους Κατανεμημένους Υπολογισμούς στο Εργαστήριο Λογικής και Επιστήμης Υπολογισμών, Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών, Σχολή Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών, Εθνικό Μετσόβιο Πολυτεχνείο (ΕΜΠ), Αθήνα.
Oμάδα έρευνας:
- Στάθης Ζάχος, Καθηγητής, διευθυντής εργαστηρίου, ΕΜΠ
- Χριστίνα Καρουσάτου, ΕΜΠ (τώρα Υποψήφια Διδάκτορας στο LIF, France)
- Νίκος Λεονάρδος, Πανεπιστήμιο Αθηνών (τώρα PostDoc στο LIAFA, France)
- Ευριπίδης Μάρκου (συν-διοργανωτής)
- Βαγγέλης Μπαμπάς (συν-διοργανωτής), ΕΜΠ (τώρα PostDoc στο LaBRI, France)
- Άρης Παγουρτζής, Επίκ. Καθηγητής, ΕΜΠ
- Ματούλα Πετρόλια, ΕΜΠ (τώρα Υποψήφια Διδάκτορας στο Univ. of Nantes, France)
Μελετήσαμε κατανεμημένους αλγόριθμους και ζητήματα υπολογιστικής πολυπλοκότητας κυρίως για προβλήματα με κινητούς πράκτορες σε δίκτυα. Ακολουθεί ένας (μή-εξαντλητικός) κατάλογος των προβλημάτων με τα οποία ασχοληθήκαμε:
- Black Hole Search in Networks
- Dynamic Faults in Networks
- Tracking Users on Cellular Networks with Liars
- Online Network Exploration
- Mobile Agent Rendezvous in Networks
- Decidability Classes for Mobile Agents Computing