Στοιχεία Εργασίας

Τίτλος (Ελληνικά)

Τίτλος (Αγγλικά)

Περιγραφή Η JavaScript ξεκίνησε ως μια απλή γλώσσα για μικρά scripts μέσα σε ιστοσελίδες. Καθώς όμως ο ιστός εξελίχθηκε, η JavaScript άρχισε να χρησιμοποιείται για την ανάπτυξη ολόκληρων εφαρμογών. Και εκεί φάνηκε ένα θεμελιώδες πρόβλημα: ο μεγάλος κώδικας είναι δύσκολο να γραφτεί και να συντηρηθεί σε γλώσσες χωρίς τύπους. Η TypeScript δημιουργήθηκε ακριβώς για να καλύψει αυτό το κενό. Όμως υπήρχε μια κρίσιμη παράμετρος: εκατομμύρια γραμμές κώδικα JavaScript υπήρχαν ήδη και δούλευαν σε χιλιάδες εταιρείες και έργα ανοιχτού κώδικα. Μια νέα γλώσσα που θα απαιτούσε την επανεγγραφή όλου αυτού του κώδικα από την αρχή απλά δεν θα γινόταν ποτέ αποδεκτή. Γι' αυτό και η TypeScript σχεδιάστηκε ως βαθμιαία τυποποιημένη (gradually typed) γλώσσα: επιτρέπει να συνυπάρχει κώδικας με τύπους και κώδικας χωρίς τύπους στο ίδιο λογισμικό. Στην πράξη όμως, αυτή η ευελιξία γέννησε ένα νέο πρόβλημα, γιατί οι περισσότερες βιβλιοθήκες TypeScript είναι μερικώς τυποποιημένες. Η πτυχιακή αυτή εξερευνά τη νευρο-συμβολική συμπερασματολογία τύπων: ένα γλωσσικό μοντέλο προτείνει τύπους και ο μεταγλωττιστής τους επαληθεύει. Ο κλασσικός συμπερασμός τύπων είναι ορθός αλλά συντηρητικός. Ένα γλωσσικό μοντέλο κάνει το αντίθετο: παράγει ανθρώπινα ονόματα τύπων αλλά κατά καιρούς εφευρίσκει τύπους που δεν είναι σωστοί. [1]: https://huggingface.co/datasets/kevinjesse/ManyTypes4TypeScript [2]: https://openreview.net/pdf?id=o5D8i2zZ1l [3]: https://arxiv.org/pdf/2310.00673

Προσφέρεται σε: ΠΜΣ Πληροφορική και Τηλεματική Προπτυχιακό Πρόγραμμα Σπουδών ΠΜΣ Επιστήμη των Υπολογιστών και Πληροφορική ΠΜΣ Εφαρμοσμένη Πληροφορική Προηγμένες Τεχνολογίες Πληροφορικής και Εφαρμογές Προπτυχιακό Πρόγραμμα Σπουδών (Παλιό) Διδακτορικό Πρόγραμμα Σπουδών Information Technology

Επιβλέπων --------- Κωσταντίνα Βασιλοπούλου Παναγιώτης Κουρουθανάσης Ιωάννης Κοντόπουλος Δημοσθένης Κωτσόπουλος Θωμάς Καμαλάκης Γιώργος Χατζηθανάσης Άγγελος Χαραλαμπίδης Σωτήρης Ξύδης Κωνσταντίνος Τσερπές Γεώργιος Πετρόπουλος Γεώργιος Κάπος Χρύσα Αγαπητού Μαυρέτα Σταμάτη Ηρακλής Βαρλάμης Ηλίας Κατσαγούνος Νικόλαος Γεωργόπουλος Σπυριδούλα Λάκκα Δήμητρα Λυπιτάκη Αντώνης Μακρής Ναούμ Μυλωνάς Αδαμαντία Πατέλη Δημήτριος Μιχαήλ Χρήστος Δίου Γεωργία Δέδε Ιωάννης Ρούτης Μαλβίνα Βαμβακάρη Χρήστος Μιχαλακέλης Κλεοπάτρα Μπαρδάκη Νίκος Ζομπάκης Αλεξάνδρα Γασπαρινάτου Δημήτριος Ζμπαινος Νεκτάριος Μακρυδάκης Ελένη Καλαμπαλίκη Παναγιώτης Μιχαήλ Αικατερίνη Αντωνοπούλου Κωσταντίνος Αμπελιώτης Ιωάννης Πάγκαλος Βασίλειος Ευθυμίου Αντωνία Ματάλα Ιωάννης Βιόλος Βασίλειος Δαλάκας Δημοσθένης Αναγνωστόπουλος Παναγιώτης Μούλος Χρήστος Σαρδιανός Μάρα Νικολαΐδου Χαράλαμπος Δαβαλάς Παναγιώτης Ριζομυλιώτης Αλεξάνδρα Τραγάκη Γεώργιος Κουσιουρής Ανάργυρος Τσαδήμας Ελένη Πολίτη Χρύσα Σοφιανοπούλου Ειρήνη Λιώτου Efstratios Gavves Alexandros Iosifidis Βασίλειος Γιαλαμάς Ευάγγελος Καρκαλέτσης Αντώνης Ροβολής Άννα - Καρολίνα Ρετάλη Ανδρέας Μενύχτας Χρίστος Χαλκιάς Χρήστος Κοτρώνης Περικλής Λουκόπουλος Κωνσταντίνα Κουτρούμπα Αλεξάνδρα Χαλκιά Ειρήνη Ντούτση Ευαγγελία Καβακλή Δημήτριος Αλεξανδρόπουλος Γιώργος Φραγκιαδάκης Begüm Demir Φωτεινή Δανελη Γεώργιος Παπαδόπουλος Κωνσταντίνος Στεφανίδης Παναγιώτης Ροντογιάννης Γεώργιος Γραβάνης Αναστάσιος Εμβαλωτής Κωνσταντίνος Σπυρόπουλος Χριστίνα Πολίτη Γεώργιος Μαλινδρέτος Γεώργιος Δημητρακόπουλος Συμεών Παπαδόπουλος Παναγιώτης Αναστασιάδης Απόστολος Παπαδόπουλος Αλέξανδρος Δημόπουλος Ιφιγένεια Κεραμιτσόγλου Ιωάννης Παπουτσής Ηλίας Παναγιωτόπουλος Ευθύμιος Χονδρογιάννης Αριστοτέλης Μπάλας Αθανάσιος Τζιμογιάννης Ευαγγελία Δράκου Κωνσταντίνος Βασιλάκης Ελένη Σαρδιανού Ευαγγελία Φιλιοπούλου Γεώργιος Ψυχάρης Θεόδωρος Δαλαμάγκας Ελένη Ζενάκου Αθανάσιος Κιούρτης ΣΥΜΕΩΝ ΠΑΠΑΒΑΣΙΛΕΙΟΥ Αθανάσιος Αναστασίου Θεοδώρα Βαρβαρίγου Ευαγγελία Γεωργιτσογιάννη Χρήστος Ανδρίκος Σταύρος Λουνής

2ο Μέλος Επιτροπής --------- Κωσταντίνα Βασιλοπούλου Παναγιώτης Κουρουθανάσης Ιωάννης Κοντόπουλος Δημοσθένης Κωτσόπουλος Θωμάς Καμαλάκης Γιώργος Χατζηθανάσης Άγγελος Χαραλαμπίδης Σωτήρης Ξύδης Κωνσταντίνος Τσερπές Γεώργιος Πετρόπουλος Γεώργιος Κάπος Χρύσα Αγαπητού Μαυρέτα Σταμάτη Ηρακλής Βαρλάμης Ηλίας Κατσαγούνος Νικόλαος Γεωργόπουλος Σπυριδούλα Λάκκα Δήμητρα Λυπιτάκη Αντώνης Μακρής Ναούμ Μυλωνάς Αδαμαντία Πατέλη Δημήτριος Μιχαήλ Χρήστος Δίου Γεωργία Δέδε Ιωάννης Ρούτης Μαλβίνα Βαμβακάρη Χρήστος Μιχαλακέλης Κλεοπάτρα Μπαρδάκη Νίκος Ζομπάκης Αλεξάνδρα Γασπαρινάτου Δημήτριος Ζμπαινος Νεκτάριος Μακρυδάκης Ελένη Καλαμπαλίκη Παναγιώτης Μιχαήλ Αικατερίνη Αντωνοπούλου Κωσταντίνος Αμπελιώτης Ιωάννης Πάγκαλος Βασίλειος Ευθυμίου Αντωνία Ματάλα Ιωάννης Βιόλος Βασίλειος Δαλάκας Δημοσθένης Αναγνωστόπουλος Παναγιώτης Μούλος Χρήστος Σαρδιανός Μάρα Νικολαΐδου Χαράλαμπος Δαβαλάς Παναγιώτης Ριζομυλιώτης Αλεξάνδρα Τραγάκη Γεώργιος Κουσιουρής Ανάργυρος Τσαδήμας Ελένη Πολίτη Χρύσα Σοφιανοπούλου Ειρήνη Λιώτου Efstratios Gavves Alexandros Iosifidis Βασίλειος Γιαλαμάς Ευάγγελος Καρκαλέτσης Αντώνης Ροβολής Άννα - Καρολίνα Ρετάλη Ανδρέας Μενύχτας Χρίστος Χαλκιάς Χρήστος Κοτρώνης Περικλής Λουκόπουλος Κωνσταντίνα Κουτρούμπα Αλεξάνδρα Χαλκιά Ειρήνη Ντούτση Ευαγγελία Καβακλή Δημήτριος Αλεξανδρόπουλος Γιώργος Φραγκιαδάκης Begüm Demir Φωτεινή Δανελη Γεώργιος Παπαδόπουλος Κωνσταντίνος Στεφανίδης Παναγιώτης Ροντογιάννης Γεώργιος Γραβάνης Αναστάσιος Εμβαλωτής Κωνσταντίνος Σπυρόπουλος Χριστίνα Πολίτη Γεώργιος Μαλινδρέτος Γεώργιος Δημητρακόπουλος Συμεών Παπαδόπουλος Παναγιώτης Αναστασιάδης Απόστολος Παπαδόπουλος Αλέξανδρος Δημόπουλος Ιφιγένεια Κεραμιτσόγλου Ιωάννης Παπουτσής Ηλίας Παναγιωτόπουλος Ευθύμιος Χονδρογιάννης Αριστοτέλης Μπάλας Αθανάσιος Τζιμογιάννης Ευαγγελία Δράκου Κωνσταντίνος Βασιλάκης Ελένη Σαρδιανού Ευαγγελία Φιλιοπούλου Γεώργιος Ψυχάρης Θεόδωρος Δαλαμάγκας Ελένη Ζενάκου Αθανάσιος Κιούρτης ΣΥΜΕΩΝ ΠΑΠΑΒΑΣΙΛΕΙΟΥ Αθανάσιος Αναστασίου Θεοδώρα Βαρβαρίγου Ευαγγελία Γεωργιτσογιάννη Χρήστος Ανδρίκος Σταύρος Λουνής

3ο Μέλος Επιτροπής --------- Κωσταντίνα Βασιλοπούλου Παναγιώτης Κουρουθανάσης Ιωάννης Κοντόπουλος Δημοσθένης Κωτσόπουλος Θωμάς Καμαλάκης Γιώργος Χατζηθανάσης Άγγελος Χαραλαμπίδης Σωτήρης Ξύδης Κωνσταντίνος Τσερπές Γεώργιος Πετρόπουλος Γεώργιος Κάπος Χρύσα Αγαπητού Μαυρέτα Σταμάτη Ηρακλής Βαρλάμης Ηλίας Κατσαγούνος Νικόλαος Γεωργόπουλος Σπυριδούλα Λάκκα Δήμητρα Λυπιτάκη Αντώνης Μακρής Ναούμ Μυλωνάς Αδαμαντία Πατέλη Δημήτριος Μιχαήλ Χρήστος Δίου Γεωργία Δέδε Ιωάννης Ρούτης Μαλβίνα Βαμβακάρη Χρήστος Μιχαλακέλης Κλεοπάτρα Μπαρδάκη Νίκος Ζομπάκης Αλεξάνδρα Γασπαρινάτου Δημήτριος Ζμπαινος Νεκτάριος Μακρυδάκης Ελένη Καλαμπαλίκη Παναγιώτης Μιχαήλ Αικατερίνη Αντωνοπούλου Κωσταντίνος Αμπελιώτης Ιωάννης Πάγκαλος Βασίλειος Ευθυμίου Αντωνία Ματάλα Ιωάννης Βιόλος Βασίλειος Δαλάκας Δημοσθένης Αναγνωστόπουλος Παναγιώτης Μούλος Χρήστος Σαρδιανός Μάρα Νικολαΐδου Χαράλαμπος Δαβαλάς Παναγιώτης Ριζομυλιώτης Αλεξάνδρα Τραγάκη Γεώργιος Κουσιουρής Ανάργυρος Τσαδήμας Ελένη Πολίτη Χρύσα Σοφιανοπούλου Ειρήνη Λιώτου Efstratios Gavves Alexandros Iosifidis Βασίλειος Γιαλαμάς Ευάγγελος Καρκαλέτσης Αντώνης Ροβολής Άννα - Καρολίνα Ρετάλη Ανδρέας Μενύχτας Χρίστος Χαλκιάς Χρήστος Κοτρώνης Περικλής Λουκόπουλος Κωνσταντίνα Κουτρούμπα Αλεξάνδρα Χαλκιά Ειρήνη Ντούτση Ευαγγελία Καβακλή Δημήτριος Αλεξανδρόπουλος Γιώργος Φραγκιαδάκης Begüm Demir Φωτεινή Δανελη Γεώργιος Παπαδόπουλος Κωνσταντίνος Στεφανίδης Παναγιώτης Ροντογιάννης Γεώργιος Γραβάνης Αναστάσιος Εμβαλωτής Κωνσταντίνος Σπυρόπουλος Χριστίνα Πολίτη Γεώργιος Μαλινδρέτος Γεώργιος Δημητρακόπουλος Συμεών Παπαδόπουλος Παναγιώτης Αναστασιάδης Απόστολος Παπαδόπουλος Αλέξανδρος Δημόπουλος Ιφιγένεια Κεραμιτσόγλου Ιωάννης Παπουτσής Ηλίας Παναγιωτόπουλος Ευθύμιος Χονδρογιάννης Αριστοτέλης Μπάλας Αθανάσιος Τζιμογιάννης Ευαγγελία Δράκου Κωνσταντίνος Βασιλάκης Ελένη Σαρδιανού Ευαγγελία Φιλιοπούλου Γεώργιος Ψυχάρης Θεόδωρος Δαλαμάγκας Ελένη Ζενάκου Αθανάσιος Κιούρτης ΣΥΜΕΩΝ ΠΑΠΑΒΑΣΙΛΕΙΟΥ Αθανάσιος Αναστασίου Θεοδώρα Βαρβαρίγου Ευαγγελία Γεωργιτσογιάννη Χρήστος Ανδρίκος Σταύρος Λουνής

Τύπος Πτυχιακής --------- Σχεδίαση και Υλοποίηση Συστήματος Αξιολόγηση Τεχνολογίας Βιβλιογραφική Ανασκόπηση