close

The Department of Computer Science at the University of Cyprus cordially invites you to the Invited Course Lecture entitled:

Session Types - Μια Θεωρία για την Κατανομή του Υπολογισμού

Speaker: Dimitrios Kouzapas
Affiliation: Imperial College London, UK
Category: Invited Course Lecture
Location: Room 147, Faculty of Pure and Applied Sciences (FST-01), 1 University Avenue, 2109 Nicosia, Cyprus (directions)
Date: Thursday, April 26, 2012
Time: 15:00-16:00 EET
Host: Anna Philippou (anna AT cs.ucy.ac.cy)
URL: https://www.cs.ucy.ac.cy/colloquium/presentations.php#cs.ucy.pres.2012.kouzapas

Abstract:
Εδώ και αρκετά χρόνια τα κατανεμημένα συστήματα μελετούνται ενδελεχώς με σκοπό την αξιοποίηση των δυνατότητων των μοντέρνων μηχανών υπολογισμού και δικτύων. Ο μαθηματικός λογισμός ήταν πάντα το κατεξοχήν εργαλείο για το συνεπή και ολοκληρωμένο ορισμό υπολογιστικών μοντέλων και συστήματων. Η παρουσίαση αυτή θα αναφερθεί στην ανάπτυξη του π-λογισμού (π-calculus) ως το σημείο αναφοράς για τη θεωρητική μελέτη των κατανεμημένων συστημάτων και της επικοινωνίας μηνυμάτων (message passing) σαν θεμελιώδη συνάρτηση υπολογισμού. Στην συνέχεια θα δούμε πως η ανάπτυξη και η μελέτη συστήματων τύπων (type systems) για τον π-λογισμό, ξεκίνησε να αναδιπλώνει τις ιδιότητες των κατανεμημένων συστημάτων και της επικοινωνίας. Πιο συγκεκριμένα θα παρουσιαστεί το σύστημα τύπων session types και οι μέχρι τώρα εφαρμογές του. Θα παρουσιαστεί η γλώσσα προγραμματισμού Session Java, η θεωρία χορογραφίας επικοινωνίας και τα session types, ο προγραμματισμός πρωτόκολλων δικτύου μέσω session types και η γλώσσα περιγραφής πρωτοκόλλων Scribble.

Short Bio:
Ο Δημήτρης Κουζαπάς είναι υποψήφιος διδακτορικού διπλώματος στο Imperial College London υπό την επίβλεψη της Dr. N. Yoshida. Ολοκλήρωσε τις προπτυχιακές του σπουδές στο Τμήμα Πληροφορικής του Πανεπιστημίου Κύπρου, BSc. 2008. Το 2009 αποφοίτησε από το Imperial College London με τον τίτλο MSc. in Advanced Computing. Τα ερευνητικά του ενδιαφέροντα βρίσκονται στα πεδία του θεωρητικού κατανεμημένου υπολογισμού, της επαλήθευσης κατανεμημένων συστημάτων, των γλωσσών προγραμματισμού και του προγραμματισμού κατανεμημένων συστημάτων.

  Other Presentations Web: https://www.cs.ucy.ac.cy/colloquium/presentations.php
  Colloquia Web: https://www.cs.ucy.ac.cy/colloquium/
  Calendar: https://www.cs.ucy.ac.cy/colloquium/schedule/cs.ucy.pres.2012.Kouzapas.ics