ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΚΑΙ ΤΗΛΕΠΙΚΟΙΝΩΝΙΩΝ ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ ΕΙΣΗΓΗΤΙΚΗ ΕΚΘΕΣΗ για την πλήρωση μιας θέσης Αναπληρωτή Καθηγητή του Τμήματος Πληροφορικής και Τηλεπικοινωνιών του Εθνικού και Καποδιστριακού Πανεπιστημίου Αθηνών, με γνωστικό αντικείμενο «Σχεδιασμός και Ανάλυση Αλγορίθμων». Η προκήρυξη της θέσης δημοσιεύτηκε στο ΦΕΚ 955/30.11.2009 και η προθεσμία υποβολής υποψηφιοτήτων έληξε στις 05/02/2010. Για την κατάληψη της θέσης υπέβαλε εμπρόθεσμα αίτηση ο κ. Σταύρος Κολλιόπουλος. Σύμφωνα με την από 24/03/2010 σχετική απόφαση του εκλεκτορικού σώματος, το ο- ποίο συγκροτήθηκε με απόφαση της Γενικής Συνέλευσης του Τμήματος Πληροφορικής και Τηλεπικοινωνιών του Πανεπιστημίου Αθηνών, ορίστηκε τριμελής Εισηγητική Επιτροπή αποτελούμενη από τους: Βασίλειο Ζησιμόπουλο, Καθηγητή του Εθνικού και Καποδιστριακού Πανεπιστημίου Αθηνών Ηλία Κουτσουπιά, Καθηγητή του Εθνικού και Καποδιστριακού Πανεπιστημίου Αθηνών Ελευθέριο Κυρούση, Καθηγητή του Πανεπιστημίου Πατρών. Η Επιτροπή, αφού εξέτασε τις προϋποθέσεις που ορίζονται από το άρθρο 15 του Νόμου 1268/82, όπως συμπληρώθηκε από τον Νόμο 1674/86 και τροποποιήθηκε από τους Νόμους 2083/92, άρθρο 6 και 3549/07 άρθρο 24, εξέτασε τα τυπικά προσόντα του υποψηφίου και διαπίστωσε τη νομιμότητα της υποψηφιότητας του. Στη συνέχεια, τα μέλη της Επιτροπής συνέταξαν την παρούσα Εισήγηση, με κριτήρια το συνολικό ερευνητικό και διδακτικό έργο του υποψηφίου, καθώς και τη γενικότερη ακαδημαϊκή του παρουσία. Σύμφωνα με την κείμενη νομοθεσία, προϋπόθεση για την εκλογή σε θέση Δ.Ε.Π. είναι η κατοχή διδακτορικού διπλώματος. Η διαπίστωση της συνάφειας της διδακτορικής διατριβής ή του όλου ερευνητικού ή επιστημονικού εν γένει έργου των υποψηφίων με το γνωστικό αντικείμενο της υπό πλήρωση θέσης Δ.Ε.Π. αποτελεί ευθύνη κατ αρχήν μεν της τριμελούς εισηγητικής επιτροπής, τελικώς δε του ίδιου του εκλεκτορικού σώματος. Επιπλέον, για την εκλογή σε θέση Αναπληρωτή Καθηγητή απαιτούνται: 1. Τουλάχιστον τέσσερα χρόνια αυτοδύναμης διδασκαλίας μετά την απόκτηση του διδακτορικού διπλώματος στο γνωστικό αντικείμενο του Τομέα, ή τουλάχιστον τέσσερα χρόνια εργασίας σε αναγνωρισμένα κέντρα της χώρας ή της αλλοδαπής ή αναγνωρισμένο επαγγελματικό έργο σε σχετικό επιστημονικό πεδίο, ή συνδυασμός των παραπάνω. 2. Πρωτότυπες δημοσιεύσεις σε επιστημονικά περιοδικά, είτε αυτοδύναμες ή σε συνεργασία με άλλους ερευνητές ή πρωτότυπη επιστημονική μονογραφία πέρα από τη διδακτορική διατριβή ή συνδυασμός των παραπάνω. Για την εκλογή, συνεκτιμάται επίσης κατά πόσο το συνολικό έργο του υποψηφίου θεμελιώνει προοπτικές για περαιτέρω ακαδημαϊκή εξέλιξή του. Η Επιτροπή μελέτησε το βιογραφικό σημείωμα του υποψηφίου, καθώς και τις υποβληθείσες εργασίες και τις αναλύσεις τους. Στη συνέχεια παρουσιάζεται το έργο του υποψηφίου και κατόπιν η Επιτροπή προχωρεί στην αξιολόγηση και κρίση αυτού. Σε παράρτημα περιλαμβάνεται η αναλυτική λίστα των υπό κρίση επιστημονικών εργασιών.
1 Αναλυτική παρουσίαση του έργου του υποψηφίου 1.1 Βιογραφικά στοιχεία Ο κ. Κολλιόπουλος γεννήθηκε το 1971 και έχει σπουδάσει στο Πανεπιστήμιο Πατρών και στο Dartmouth College των ΗΠΑ. Μετά την ολοκλήρωση των σπουδών του διατέλεσε μεταδιδακτορικός ερευνητής στο NEC Research Institute πριν γίνει Επίκουρος Καθηγητής στο Πανεπιστήμιο McMaster του Καναδά. Τον Απρίλιο του 2004 διορίστηκε επίκουρος καθηγητής στο ΕΚΠΑ. Πιο αναλυτικά: Σπουδές Dartmouth College, Ph.D. in Computer Science, 1998. Dartmouth College, M.S. in Computer Science,, 1995. Πανεπιστήμιο Πατρών, Δίπλωμα Μηχανικού Η/Υ και Πληροφορικής, 1993. Επαγγελματική εμπειρία Επίκουρος καθηγητής, Τμήμα Πληροφορικής και Τηλεπικοινωνιών, ΕΚΠΑ, 2004 σήμερα. Μόνιμος από 22/01/2008. Επίκουρος καθηγητής, Department of Computing and Software, McMaster University, Καναδάς, 1999 2004. Μεταδιδάκτορας ερευνητής, NEC Research Institute, 1998 1999. 1.2 Διδακτικό έργο Ο κ. Κολλιόπουλος έχει διδάξει σειρά μαθημάτων στο Πανεπιστήμιο McMaster και στο ΕΚΠΑ. Ειδικά στο ΕΚΠΑ, τα πρώτα 5 χρόνια από τον διορισμό του δίδασκε σε ετήσια βάση 2 υποχρεωτικά προπτυχιακά μαθήματα (Θεωρία Υπολογισμού και Διακριτά Μαθηματικά) και 1 μεταπτυχιακό μάθημα (Υπολογιστική Πολυπλοκότητα). Εχει διατελέσει και/ή συνεχίζει να διατελεί επιβλέπων καθηγητής για 5 μεταπτυχιακές διπλωματικές εργασίες και 2 διδακτορικούς φοιτητές. Πιο αναλυτικά: Προπτυχιακά Μαθήματα στο McMaster, 1999 2004 Architecture of Computers and Multiprocessors. Data Management Techniques. Database Management Systems. Μεταπτυχιακά Μαθήματα στο McMaster, 1999 2004 Approximation Algorithms in Combinatorial Optimization. Data Structures and Algorithms. Προπτυχιακά Μαθήματα στο ΕΚΠΑ, 2004 σήμερα Θεωρία Υπολογισμού (6 φορές) [μάθημα κορμού]. Διακριτά Μαθηματικά (5 φορές) [μάθημα κορμού]. 2
Ειδικά Θέματα Θεωρητικής Πληροφορικής: Υπολογιστική Πολυπλοκότητα (3 φορές) [μάθημα επιλογής]. Μεταπτυχιακά Μαθήματα στο ΕΚΠΑ, 2004 σήμερα Υπολογιστική Πολυπλοκότητα (6 φορές). Από το 2005 γίνεται συνδιδασκαλία με το υ- ποχρεωτικό μάθημα του διατμηματικού Μεταπτυχιακού Προγράμματος σε Λογική και Αλγορίθμους «Αλγόριθμοι και Πολυπλοκότητα ΙΙ». Προσεγγιστικοί Αλγόριθμοι (1η φορά το ακαδημαϊκό έτος 2009-2010). Επίβλεψη φοιτητών: Μεταπτυχιακοί φοιτητές Jingde Du, McMaster University, 2001 2003. Weizhong Yu, McMaster University, 2000-2003. Πέτρος Χριστόπουλος, Τμήμα Πληροφ. και Τηλεπικ., 2005 2007. Γιώργος Ζώης, ΜΠΛΑ, 2006 2008. Ιωάννης Μωυσόγλου, Τμήμα Πληροφ. και Τηλεπικ., 2009 σήμερα. Επίβλεψη φοιτητών: Διδακτορικοί φοιτητές Αθανάσιος Κουτσώνας, 2009 σήμερα. Ιωάννης Μωυσόγλου, 2009 σήμερα. 1.3 Δημοσιευμένο ερευνητικό έργο Ο κ. Κολλιόπουλος έχει δημοσιεύσει 14 επιστημονικές εργασίες του σε διεθνή περιοδικά, εκ των οποίων οι 9 δημοσιεύτηκαν μετά τον διορισμό του στο ΕΚΠΑ. Εχει επίσης 15 δημοσιεύσεις σε διεθνή συνέδρια με κριτές εκ των οποίων οι 6 μετά τον διορισμό του. Πιο αναλυτικά, οι δημοσιεύσεις του έχουν δημοσιευτεί στα ακόλουθα περιοδικά και συνέδρια: Περιοδικά Journal of Algorithms: 1998, 2003 SIAM J. on Computing: 2002, 2007 Discrete and Applied Mathematics: 2003, 2007 Mathematical Programming series A: 2004 Information Processing Letters: 2005 J. Computer and System Sciences: 2005 ACM J. Experimental Algorithmics: 2005 Theoretical Computer Science: 2006 Operations Research Letters: 2007 Algorithmica: 2009, 2009. Επίσης είναι υποβεβλημένη προς δημοσίευση μια εργασία στο περιοδικό ACM Transactions on Algorithms από το 2009. 3
Συνέδρια Conference on Integer Programming and Combinatorial Optimization, IPCO: 1996, 1998, 1999 IEEE Symposium on Foundations of Computer Science, FOCS: 1997, 2001, 2004 European Symposium on Algorithms, ESA: 1998, 1999, 2002 IEEE INFOCOM: 2000 Symposium on Theoretical Aspects of Computer Science, STACS: 2004 Workshop on Efficient and Experimental Algorithms, WEA: 2004 Workshop on Combinatorial and Algorithmic Aspects of Networking, CAAN: 2004 International Computing and Combinatorics Conference, COCOON: 2006, 2009 Επιπλέον έχει ένα κεφάλαιο σε βιβλίο και 2 τεχνικές αναφορές. Αναγνώριση του έργου του Το έργο του έχει διεθνή αναγνώριση όπως τεκμηριώνεται από τα παρακάτω στατιστικά στοιχεία, βασισμένα στο Google Scholar: Ετεροαναφορές: 608 Συγγραφείς/δημοσίευση: 2.16 h-index: 12 Εχει διατελέσει μέλος της επιτροπής προγράμματος των διεθνών συνεδρίων: 8th Int. Workshop on Approximation Algorithms for Combinatorial Optimization Problems (AP- PROX 05, Berkeley, CA), 17th Ann. ACM-SIAM Symp. on Discrete Algorithms (SODA 06, Miami, FL), 3rd Workshop on Combinatorial and Algorithmic Aspects of Networking (CAAN 06, Chester, UK). Εχει διατελέσει κριτής για δεκάδες διεθνή περιοδικά και συνέδρια μεταξύ των οποίων περιλαμβάνονται τα κορυφαία του είδους. Εχει δώσει πολλές προσκεκλημένες ομιλίες. Η έρευνά του έχει χρηματοδοτηθεί από την Καναδική Εθνική Επιτροπή Ερευνας NSERC και από τα προγράμματα ΠΥΘΑΓΟΡΑΣ και ΑΡΧΙΜΗΔΗΣ. 1.4 Διοικητικό έργο Ο κ. Κολλιόπουλος έχει συμμετάσχει σε πολλές επιτροπές στο Πανεπιστήμιο McMaster και είναι μέλος της Συντονιστικής Επιτροπής Προγράμματος Μεταπτυχιακών Σπουδών στο τμήμα Πληροφορικής και Τηλεπικοινωνιών από το 2006 μέχρι σήμερα. Εχει επίσης διατελέσει εξεταστής για κατακτήριες εξετάσεις στο Τμήμα Πληροφορικής και Τηλεπικοινωνιών. 4
2 Ανάλυση του ερευνητικού έργου Ο κ. Κολλιόπουλος δραστηριοποιείται στη ερευνητική περιοχή της σχεδίασης και ανάλυσης αλγορίθμων για προβλήματα συνδυαστικής βελτιστοποίησης καθώς και της αλγοριθμικής θεωρίας παιγνίων. Ως εκ τούτου το έργο του υποψηφίου εμπίπτει απόλυτα στο γνωστικό αντικείμενο της υπό πλήρωση θέσης. Ενα σημαντικό μέρος του έργου του ασχολείται με τα προβλήματα βελτιστοποίησης από τη σκοπιά των προσεγγιστικών αλγορίθμων. Για N P-πλήρη προβλήματα, οι αλγόριθμοι που βρίσκουν βέλτιστες λύσεις δεν είναι αποδοτικοί και γι αυτό αναζητούνται προσεγγιστικές λύσεις που μπορεί να μην είναι βέλτιστες αλλά είναι εγγυημένα αρκετά καλές. Το έργο του κ. Κολλιόπουλου σ αυτή την περιοχή αντιμετωπίζει κυρίως προβλήματα σχεδιασμού δικτύων, δρομολόγησης σε δίκτυα και χρονοδρομολόγηση εργασιών, και βασίζεται σε γενικές αρχές ανάλυσης και σχεδίασης αλγορίθμων αλλά και σε πιο βαθιές τεχνικές μαθηματικού προγραμματισμού και ροών. Η καθιέρωση του Διαδικτύου, του Παγκόσμιου Ιστού, καθώς και της νέας ηλεκτρονικής κοινωνίας, έφερε στο προσκήνιο την Αλγοριθμική Θεωρία Παιγνίων. Μέρος του έργου του κ. Κολλιόπουλου βρίσκεται στη ραγδαίως εξελισσόμενη αυτή περιοχή και καλύπτει θέματα αποδοτικότητας των σημείων ισορροπίας Nash σε παίγνια ιδιοτελούς δρομολόγησης σε δίκτυα. Ακολουθεί μια σύντομη περιγραφή των σημαντικότερων εργασιών του κ. Κολλιόπουλου. Στην εργασία [Α1.1] δίδονται αλγόριθμοι για την εύρεση συντομότερων μονοπατιών από ορισμένη αφετηρία (single-source shortest paths) με τον ελάχιστο μέσο κύκλο (minimum mean cycle) και με μέση πολυπλοκότητα O(n 2 log n). Στις εργασίες [Α1.2 και Α1.5] μελετώνται διάφορες εκδοχές του προβλήματος αδιαχώριστων ροών (unsplittable flow) από μία είτε πολλές αφετηρίες και προτείνονται αλγοριθμικές τεχνικές οι οποίες βελτιώνουν τους λόγους προσέγγισης. Δίνονται συνδυαστικοί προσεγγιστικοί αλγόριθμοι για το κλασικό πρόβλημα των διακεκριμένων μονοπατιών (disjoint paths) που αποτελεί ειδική περίπτωση αδιαχώριστης ροής. Επίσης κάποια από τα αποτελέσματα του [Α1.5] γενικεύονται σε κλάσεις packing ακέραιων προγραμμάτων. Στην εργασία [Α1.3] μελετάται ένα πρόβλημα χρονοδρομολόγησης έργων σε μια ή περισσότερες μηχανές με τη δυνατότητα απόρριψης κάποιων έργων αλλά πληρώνοντας ένα καθορισμένο πρόστιμο αν κάποιο έργο δεν εκτελεστεί. Προτείνεται μια τεχνική για την αντιμετώπιση τέτοιου τύπου προβλημάτων, η οποία βασίζεται στη λύση μιας γραμμικής αποδυνάμωσης (linear relaxation) και στη συνακόλουθη εκμετάλλευση της προκύπτουσας κλασματικής λύσης (fractional relaxation). Στην εργασία [Α1.4] εξετάζεται η γενική διατύπωση με περιορισμούς πολλαπλότητας ενός ακέραιου προγράμματος επικάλυψης (covering integer program) και αναλύονται τεχνικές που επιτρέπουν, για μια εκδοχή του προβλήματος, την εγγύηση μίας O(log n) προσέγγισης, η οποία παραβιάζει μόνο κατά έναν O(1) παράγοντα τους περιορισμούς πολλαπλότητας. Στην εργασία [Α1.6] εξετάζεται η αποδοτική εύρεση αδιαχώριστης ροής (single-source unsplittable flow) βέλτιστου κόστους που ταυτόχρονα έχει μικρή συμφόρηση (το πολύ 2). Δίνεται μια συμπαγής καταφατική απάντηση στην περίπτωση που χαλαρώσουμε την απαίτηση της αδιαχώριστης ροής και επιτρέψουμε δρομολόγηση κάθε ροής σε 2 μονοπάτια. Στην εργασία [Α1.7] εισάγεται μια τεχνική για το τυχαιοκρατικό στρογγύλεμα (rounding) μιας κλασματικής λύσης και επιλύεται έτσι ένα ανοικτό πρόβλημα από το 1982. Ενα γενικό ακέραιο πρόγραμμα επικάλυψης covering integer program με μη αρνητικούς συντελεστές προσεγγίζεται το ίδιο καλά όσο και το κλασικό πρόβλημα της επικάλυψης συνόλου Set Cover. Το πρόβλημα της επικάλυψης συνόλου αποτελεί ειδική περίπτωση των ακέραιων προγραμμάτων επικάλυψης. Στην εργασία [Α1.8] πραγματοποιείται μία πειραματική μελέτη και σύγκριση διαφορετι- 5
κών προσεγγιστικών αλγορίθμων για προβλήματα αδιαχώριστης ροής από μοναδική αφετηρία. Διαπιστώνεται πως, στην πράξη, οι λόγοι προσέγγισης υπερτερούν συνήθως αισθητά των θεωρητικών φραγμάτων. Αντίθετα, η σύγκριση μεταξύ διαφορετικών αλγορίθμων επιβεβαιώνει, τις περισσότερες φορές, την αξιολογική κατάταξη που προκύπτει από τη θεωρητική μελέτη. Στην εργασία [Α1.9] μελετάται το πρόβλημα χρονοδρομολόγησης εργασιών με προθεσμίες ολοκλήρωσης όταν μας ενδιαφέρει να ελαχιστοποιήσουμε την συνολική υπέρβαση πέραν των προθεσμιών ολοκλήρωσης. Πρόκειται για ένα από τα πιο μελετημένα προβλήματα στη χρονοδρομολόγηση το οποίο όμως παρουσιάζει μεγάλη δυσκολία όσον αφορά την προσεγγισιμότητα, λόγω της μη γραμμικότητας της αντικειμενικής συνάρτησης. Δίνεται ένας ψευδοπολυωνυμικός αλγόριθμος και στην περίπτωση που τα βάρη των δουλειών είναι πολυωνυμικά φραγμένα, ένα πλήρως πολυωνυμικό προσεγγιστικό σχήμα (FPTAS). Στην εργασία [Α1.10] μελετάται το κλασικό πρόβλημα του σακιδίου (knapsack) με τον επιπλέον περιορισμό πως τα στοιχεία είναι μερικώς διατεταγμένα και η λύση πρέπει να ι- κανοποιεί κάποιους περιορισμούς σε σχέση με αυτή τη διάταξη. Το πρόβλημα έχει σχέση και με χρονοδρομολόγηση εργασιών υπό μερική διάταξη. Δίνεται ένα πλήρως πολυωνυμικό προσεγγιστικό σχήμα (FPTAS) για την περίπτωση δισδιάστατων μερικών διατάξεων. Στην εργασία [Α1.11] μελετάται, όπως και στην εργασία [Α1.9], το πρόβλημα χρονοδρομολόγησης εργασιών με προθεσμίες ολοκλήρωσης στο οποίο όμως η αντικειμενική συνάρτηση περιλαμβάνει και μία επιπλέον σταθερά που εξασφαλίζει πως η βέλτιστη λύση δεν θα έχει τιμή μηδέν. Επιπλέον, η διατύπωση που προκύπτει βρίσκει εφαρμογές στην ελαχιστοποίηση του κόστους αποθήκευσης σε βιομηχανικά περιβάλλοντα. Δείχνεται πως σε αυτή την περίπτωση το πρόβλημα μπορεί να λυθεί με αλγορίθμους που εστιάζουν στο συνολικό χρόνο ολοκλήρωσης παρά στην συνολική υπέρβαση. Στην εργασία [Α1.12] προτείνεται μια καινούργια τεχνική, η οποία οδηγεί στη σημαντική βελτίωση του χρόνου εκτέλεσης του τυχαιοκρατικού προσεγγιστικού σχήματος των Arora, Raghavan and Rao για το k-median πρόβλημα, σε Ευκλείδειους χώρους. Η προτεινόμενη λύση εισάγει νέες τεχνικές, ανεξάρτητου ενδιαφέροντος, οι οποίες επεκτείνουν τις ιδέες που χρησιμοποιήθηκαν στο προσεγγιστικό σχήμα του Arora για το Πρόβλημα Περιοδεύοντος Πωλητή. Στην εργασία [Β2.12] εξετάζεται το πρόβλημα της ιδιοτελούς δρομολόγησης. Δείχνεται πως σε κάθε δίκτυο υπάρχουν φόροι που ωθούν τους ιδιοτελείς χρήστες σε σημείο ισορροπίας με τη βέλτιστη μέση καθυστέρηση, αυτή που επιτυγχάνεται ακόμα και αν οι χρήστες δεν ήταν ιδιοτελείς. Η λύση βασίζεται στην ανάδειξη του προβλήματος σαν μη γραμμικού complementarity προβλήματος και την αναγωγή της ύπαρξης λύσης του complementarity προβλήματος στην επιλυσιμότητα ενός ζεύγους γραμμικών προγραμμάτων. Η εργασία [Α1.13] γενικεύει τα αποτελέσματα της [Β.12] στην περίπτωση που οι απαιτήσεις δρομολόγησης είναι ελαστικές, δηλαδή όταν το φορτίο που διακινεί ο κάθε χρήστης εξαρτάται από τις καθυστερήσεις. Η υπόθεση αυτή είναι πιο ρεαλιστική σε πολλές περιπτώσεις, όπως για παράδειγμα στα δίκτυα κυκλοφορίας, όπου κάποιοι αποφασίζουν να μην χρησιμοποιήσουν το αυτοκίνητό τους όταν υπάρχει μεγάλη συμφόρηση. Από μαθηματική σκοπιά, τα πρόβλημα γίνεται πολύ πιο περίπλοκο, καθώς οι απαιτήσεις των χρηστών όταν είναι σε ισορροπία εξαρτώνται από την καθυστέρηση που νιώθουν αυτοί στα μονοπάτια του δικτύου. Αυτή η καθυστέρηση όμως εξαρτάται με τη σειρά της από τις ίδιες αυτές απαιτήσεις. Η εργασία δίνει ένα θεώρημα σταθερού σημείου (fixed-point theorem), που αποδεικνύει την ύπαρξη των κατάλληλων φόρων. Η εργασία [Α1.14] εξετάζει έναν διαφορετικό μηχανισμό για την απάλυνση των επιπτώσεων της ιδιοτελούς συμπεριφοράς των χρηστών σε ένα δίκτυο. Ενα καθορισμένο ποσοστό α των χρηστών υπακούει σε ένα κεντρικό συντονιστή, και οι υπόλοιποι ακολουθούν ιδιοτελή συμπεριφορά. Μελετάται η συμπεριφορά του συνολικού κόστους του ανάλογα με τον 6
αλγόριθμο δρομολόγησης που επιβάλλει ο κεντρικός συντονιστής. Το τίμημα της αναρχίας φράσσεται από μία φθίνουσα συνάρτηση του α. Η εργασία [Β.15] ολοκληρώνει τη μελέτη του προβλήματος χρονοδρομολόγησης εργασιών με προθεσμίες ολοκλήρωσης στην περίπτωση που ο αριθμός των διακεκριμένων προθεσμιών είναι σταθερός. Σχεδιάζεται ο καλύτερος δυνατός, εκτός αν P = N P, προσεγγιστικός αλγόριθμος, δηλαδή ένα πλήρως πολυωνυμικό προσεγγιστικό σχήμα (FPTAS). 3 Συνολική αποτίμηση του έργου Το διδακτικό έργο του κ. Κολλιόπουλου είναι εκτεταμένο και καλύπτει σημαντικές ανάγκες του τμήματος. Αξίζει να σημειωθεί πως από την εκλογή του και μέχρι και το ακαδημαϊκό έτος 2008-2009 δίδασκε ανελλιπώς 2 υποχρεωτικά μαθήματα κορμού στο τμήμα. Κατά το έτος 2009-2010 συνέχισε να διδάσκει το μάθημα κορμού «Θεωρία Υπολογισμού». Επίσης το μεταπτυχιακό μάθημα «Υπολογιστική Πολυπλοκότητα» που διδάσκει ανελλιπώς τα τελευταία έξι χρόνια, καλύπτει μεν μια βασική περιοχή για την εκπαίδευση των μεταπτυχιακών φοιτητών, αλλά έχει μόνο έμμεση σχέση με την ερευνητική περιοχή του υποψηφίου. Η επιτροπή κρίνει πως το διδακτικό του έργο όχι απλώς είναι ικανοποιητικό, αλλά χρήζει ιδιαίτερης επιβράβευσης. Το ερευνητικό έργο του κ. Κολλιόπουλου είναι εκτεταμένο και ποιοτικό στο σύνολό του. Είναι δημοσιευμένο στα καλύτερα συνέδρια και περιοδικά της ερευνητικής περιοχής του κ. Κολλιόπουλου. Ιδιαίτερη μνεία αξίζει το γεγονός πως έχει 3 δημοσιεύσεις στο FOCS και 2 δημοσιεύσεις στο SIAM Journal on Computing, που θεωρούνται, μαζί με 1-2 άλλα ισάξιά τους, ως το καλύτερα συνέδρια και περιοδικά στη Θεωρητική Πληροφορική. Αξίζει να τονιστεί η αδιάλειπτη παραγωγικότητα του κ. Κολλιόπουλου όπως αυτή υποδηλώνεται από το γεγονός πως από τις 14 δημοσιεύσεις σε διεθνή κορυφαία περιοδικά, οι 9 δημοσιεύτηκαν μετά τον διορισμό του. Το έργο του τυγχάνει διεθνούς αναγνώρισης όπως τεκμαίρεται τόσο από τις αναφορές σε αυτό (αριθμός αναφορών 608, h-index 12) όσο και από τη διεθνή του παρουσία. Ενδεικτικό της διεθνούς αναγνώρισης του είναι η συμμετοχή του σαν μέλος της επιστημονικής επιτροπής σε κορυφαία συνέδρια της Θεωρητικής Πληροφορικής και ιδιαίτερα του SODA που είναι ένα από τα 3-4 καλύτερα συνέδρια της Θεωρητικής Πληροφορικής. Το διοικητικό έργο του κ. Κολλιόπουλου είναι απολύτως ικανοποιητικό, ιδιαίτερα αν λάβει κανείς υπόψη την συμμετοχή του στην επιτροπή μεταπτυχιακών σπουδών. Με βάση τα παραπάνω, η επιτροπή κρίνει πως το διδακτικό, ερευνητικό και διοικητικό έργο του κ. Κολλιόπουλου πληρεί σε απολύτως ικανοποιητικό βαθμό τα κριτήρια του νόμου και εισηγείται ομόφωνα την εκλογή του στη βαθμίδα του Αναπληρωτή Καθηγητή. Αθήνα 26/05/2010 Β. Ζησιμόπουλος Η. Κουτσουπιάς Ε. Κυρούσης Καθηγητής ΕΚΠΑ Καθηγητής ΕΚΠΑ Καθηγητής Παν. Πατρών 7
Παράρτημα: Επιστημονικές Εργασίες Α. Περιοδικά Με Κριτές Α1. Δημοσιευμένα 1. S. G. Kolliopoulos and C. Stein. Finding Real-Valued Single-Source Shortest Paths in o(n 3 ) Expected Time. J. of Algorithms, (28), 125 141, 1998. 2. S. G. Kolliopoulos and C. Stein. Approximation Algorithms for Single-Source Unsplittable Flow. SIAM J. Computing, (31), 919 946, 2002. 3. D. W. Engels, D. R. Karger, S. G. Kolliopoulos, S. Sengupta, R. N. Uma and J. Wein. Techniques for Scheduling with Rejection. J. of Algorithms, special issue on 6th European Symposium on Algorithms, (49), 175 191, 2003. 4. S. G. Kolliopoulos. Approximation Algorithms for Covering Integer Programs with Multiplicity Constraints. Discrete Applied Mathematics, (129), 461 473, 2003. 5. S. G. Kolliopoulos and C. Stein. Approximating Disjoint-path Problems using Packing Integer Programs. Mathematical Programming series A, (99), 63 87, 2004. 6. S. G. Kolliopoulos. Minimum-Cost Single-Source 2-Splittable Flow. Information Processing Letters, (94), 15 18, 2005. 7. S. G. Kolliopoulos and N. E. Young. Approximation Algorithms for Covering/Packing Integer Programs. J. Computer and System Sciences, (71), 495 505, 2005. 8. J. Du and S. G. Kolliopoulos. Implementing Approximation Algorithms for Single- Source Unsplittable Flow. ACM J. Experimental Algorithmics, (10), Sec. 2: selected papers from WEA 04, Article No. 2.3, 1 21, 2005. 9. S. G. Kolliopoulos and G. Steiner. Approximation Algorithms for Minimizing Total Weighted Tardiness on a Single Machine. Theoretical Computer Science, (355), 261 273, 2006. 10. S. G. Kolliopoulos and G. Steiner. Partially-ordered Knapsack and Applications to Scheduling. Discrete Applied Mathematics, (155), 889 897, 2007. 11. S. G. Kolliopoulos and G. Steiner. Approximation Algorithms for Scheduling Problems with a Modified Total Weighted Tardiness Objective. Operations Research Letters, (35) 685 692, 2007. 12. S. G. Kolliopoulos and S. Rao. A Nearly Linear-time Approximation Scheme for the Euclidean k-median problem. SIAM J. Computing, (37) 757 782, 2007. 13. G. Karakostas and S. G. Kolliopoulos. Edge Pricing of Multicommodity Networks for Selfish Users with Elastic Demands. Algorithmica, special issue on COCOON 06, (53), 225 249, 2009. Special issue contains five out of 52 papers presented at the conference. 14. G. Karakostas and S. G. Kolliopoulos. Stackelberg Strategies for Selfish Routing in General Multicommodity Networks. Algorithmica, (53) 132 153, 2009. 8
Α2. Υποβεβλημένα Για Δημοσίευση 1. G. Karakostas, S. G. Kolliopoulos and J. Wang. An FPTAS for the total weighted tardiness problem with a fixed number of distinct due dates. Submitted to ACM Transactions on Algorithms, 2009. Β. Δημοσιεύσεις σε Πρακτικά Συνεδρίων με Κριτές 1. S. G. Kolliopoulos and C. Stein. Finding Real-Valued Single-Source Shortest Paths in o(n 3 ) Expected Time. In Proceedings of 5th Conference on Integer Programming and Combinatorial Optimization, vol. 1084 of Lecture Notes in Computer Science (LNCS), 94 104, Springer-Verlag, 1996. 2. S. G. Kolliopoulos and C. Stein. Improved approximation algorithms for unsplittable flow problems. In Proceedings of 38th Annual IEEE Symposium on Foundations of Computer Science, 426 435, 1997. 3. S. G. Kolliopoulos and C. Stein. Approximating Disjoint-Path Problems using Greedy Algorithms and Packing Integer Programs. In Proceedings of 6th Conference on Integer Programming and Combinatorial Optimization, vol. 1412 of LNCS, 153 168, Springer-Verlag, 1998. 4. D. W. Engels, D. R. Karger, S. G. Kolliopoulos, S. Sengupta, R. N. Uma and J. Wein. Techniques for Scheduling with Rejection. In Proceedings of 6th Annual European Symposium on Algorithms, vol. 1461 of LNCS, 490 501, Springer-Verlag, 1998. 5. S. G. Kolliopoulos and C. Stein. Experimental Evaluation of Approximation Algorithms for Single-Source Unsplittable Flow. In Proceedings of 7th Conference on Integer Programming and Combinatorial Optimization, vol. 1610 of LNCS, 153 168, Springer-Verlag, 1999. 6. S. G. Kolliopoulos and S. Rao. A Nearly Linear-time Approximation Scheme for the Euclidean k-median problem. In Proceedings of 7th Annual European Symposium on Algorithms, vol. 1643 of LNCS, 378 389, Springer-Verlag, 1999. 7. M. W. Goudreau, S. G. Kolliopoulos and S. Rao. Scheduling Algorithms for Input- Queued Switches: Randomized Techniques and Experimental Evaluation. In Proceedings of IEEE INFOCOM 2000, 1634 1643. 8. S. G. Kolliopoulos and N. E. Young. Tight Approximation Results for General Covering Integer Programs. In Proceedings of 42nd Annual IEEE Symposium on Foundations of Computer Science, 522 528, 2001. 9. S. G. Kolliopoulos and G. Steiner. Partially-Ordered Knapsack and Applications to Scheduling. In Proceedings of 10th Annual European Symposium on Algorithms, vol. 2461 of LNCS, 612 624, Springer-Verlag, 2002. 10. S. G. Kolliopoulos and G. Steiner. On Minimizing the Total Weighted Tardiness on a Single Machine. In Proceedings of 21st Int. Symposium on Theoretical Aspects of Computer Science, vol. 2996 of LNCS, 176 186, Springer-Verlag, 2004. 9
11. J. Du and S. G. Kolliopoulos. Implementing Approximation Algorithms for Single- Source Unsplittable Flow. in Proceedings of 3rd Workshop on Efficient and Experimental Algorithms, vol. 3059 of LNCS, 213 227, Springer-Verlag, 2004. 12. G. Karakostas and S. G. Kolliopoulos. Edge Pricing of Multicommodity Networks for Heterogeneous Selfish Users. In Proceedings of 45th Annual IEEE Symposium on Foundations of Computer Science, 268 276, 2004. 13. G. Karakostas and S. G. Kolliopoulos. The Efficiency of Optimal Taxes. In Proceedings of 1st Workshop on Combinatorial and Algorithmic Aspects of Networking, 2004, vol. 3405 of LNCS, 3 12, Springer-Verlag. 14. G. Karakostas and S. G. Kolliopoulos. Edge Pricing of Multicommodity Networks for Selfish Users with Elastic Demands. In Proceedings of 12th International Computing and Combinatorics Conference, vol. 4112 of LNCS, 23 32, Springer-Verlag, 2006. 15. G. Karakostas, S. G. Kolliopoulos and J. Wang. An FPTAS for the total weighted tardiness problem with a fixed number of distinct due dates. In Proceedings of 15th International Computing and Combinatorics Conference, vol. 5609 of LNCS, 238 248, Springer-Verlag, 2009. Γ. Κεφάλαια σε Βιβλία 1. S. G. Kolliopoulos. Edge-disjoint Paths and Unsplittable Flow. In Handbook of Approximation Algorithms and Metaheuristics, edited by T. F. Gonzalez, Chapman- Hall/CRC Press, pp. 57-1 57-16, 2007. Δ. Τεχνικές Αναφορές (χωρίς επικάλυψη με τις παραπάνω εργασίες) 1. M. W. Goudreau, S. G. Kolliopoulos and S. Rao. Experimental Demonstration of 100% Throughput in an Input-Queued Switch Using Maximum Bipartite Matching, 99-C027, NEC Computer and Communications Research Laboratory, 1999. 2. G. Karakostas and S. G. Kolliopoulos. Selfish routing in the presence of side constraints, TR CAS-03-13-GK, Department of Computing and Software, McMaster University, 2003. Ε. Αλλες Εργασίες 1. Σ. Γ. Κολλιόπουλος Μελέτη της Τριγωνοποίησης Πολυγώνου σε Γραμμικό Χρόνο, Διπλωματική Εργασία, Τμήμα Μηχανικών Η/Υ και Πληροφορικής, Πανεπιστήμιο Πατρών, 1993. Επιβλέπων: Αθανάσιος Τσακαλίδης. 2. S. G. Kolliopoulos. Exact and Approximation Algorithms for Network Flow and Disjoint-Path Problems, Ph.D. Thesis, Department of Computer Science, Dartmouth College, 1998. Επιβλέπων: Clifford Stein. 10