Μπασαγιάννης Στυλιανός

Ο Στέλιος Μπασαγιάννης από το 2023, είναι επίκουρος καθηγητής στο τμήμα μηχανικών πληροφορικής υπολογιστών και τηλεπικοινωνιών, στο Διεθνούς Πανεπιστημίου της Ελλάδος. Κατέχει διδακτορικό (2009) και πτυχίο Πληροφορικής (2004) από το τμήμα Πληροφορικής ΑΠΘ και μεταπτυχιακό (2005) από το πανεπιστήμιο Heriot-Watt του Εδιμβούργου. Το θέμα της διδακτορικής του διατριβής ήταν «Ανάπτυξη τυπικών μεθόδων για την επαλήθευση πρωτοκόλλων ασφάλειας».
Εργαζόταν και συνεχίζει να συνεργάζεται με την βιομηχανία από το 2011, κατέχοντας πολλαπλές θέσεις (Ανώτερος ερευνητής, Κύριος ερευνητής, Αναπληρωτής Διευθυντής) για το Ερευνητικό Κέντρο της Raytheon Technologies, και πιο πρόσφατα για την Collins Aerospace. Πριν από αυτό, ήταν έκτακτος λέκτορας στο Πανεπιστήμιο Μακεδονίας και μεταδιδακτορικός ερευνητής στο Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης.
Έχει συγγράψει περισσότερες από 45 δημοσιεύσεις σε διεθνή συνέδρια και περιοδικά, και κατέχει πάνω από 5 διπλώματα ευρεσιτεχνίας με θέμα την ασφάλεια, επικύρωση και επαλήθευση κυβερνοφυσικών συστημάτων. Είναι επικεφαλής ή έχει συνεισφέρει σε περισσότερα από 25 έργα έρευνας και ανάπτυξης που χρηματοδοτούνται από ΕΕ ή εθνικές πηγές τόσο για λογαριασμό της βιομηχανίας όσο και του πανεπιστημίου. Τα ερευνητικά του ενδιαφέροντα είναι οι τυπικές μέθοδοι ανάπτυξης και επαλήθευσης συστημάτων υλικού και λογισμικού, μοντελοποίηση και επαλήθευση κυβερνοφυσικών συστημάτων, κρίσιμα σε ασφάλεια συστήματα, πιστοποίηση συστημάτων λογισμικού και επαλήθευση μηχανισμών ασφαλείας.

Επιστημονικό Πεδίο:

Τυπικές Μέθοδοι στην Ανάπτυξη Λογισμικού

Μαθήματα που διδάσκει:

(ΠΛΕ09102) Σχεδιασμός και Ανάπτυξη Πληροφοριακών Συστημάτων, (ΠΛΥ01032) Προγραμματισμός Ι, (ΠΛΥ05042) Περιβάλλοντα Ανάπτυξης Λογισμικού

Ώρες Γραφείου:

Δευτέρα 12:00 - 14:00

Γραφείο:

1ος όροφος

Τηλέφωνο:

+30 23210 49382

Email:

[javascript protected email address]

Δημόσια Προφίλ: