Διδακτική Δραστηριότητα

Τεχνητή Νοημοσύνη

Διδασκαλία μαθημάτων "Τεχνητή Νοημοσύνη", "Τεχνητή Νοημοσύνη Ι" και "Τεχνητή Νοημοσύνη ΙΙ" (22Α707, ECE_ΑΚ705, 22A810, ECE_ΑΚ813) και εργαστηρίων (γλώσσα Prolog) στο Τμήμα Ηλεκτρολόγων Μηχανικών και Τεχνολογίας Υπολογιστών του Πανεπιστημίου Πατρών, καθώς και στα Διατμηματικά Προγράμματα Μεταπτυχιακών Σπουδών "Human Computer Interaction (HCI-Master)" και "Συστήματα Επεξεργασίας Πληροφορίας και Μηχανική Νοημοσύνη" του Πανεπιστημίου Πατρών (2004 - σήμερα).
Φροντιστηριακή υποστήριξη ως υποψήφιος διδάκτωρ στα μαθήματα "Τεχνητή Νοημοσύνη" (1989 - 1995) και "Έμπειρα Συστήματα" (1991 - 1992) στο Τμήμα Ηλεκτρολόγων Μηχανικών και Τεχνολογίας Υπολογιστών του Πανεπιστημίου Πατρών.

Βιντεοδιαλέξεις Τεχνητής Νοημοσύνης

Προγραμματισμός Υπολογιστών

Διδασκαλία μαθημάτων "Εισαγωγή στους Υπολογιστές", "Εισαγωγή στους Υπολογιστές Ι", "Εισαγωγή στους Υπολογιστές ΙΙ" και εργαστηρίων (γλώσσες Python, Fortran) στο Τμήμα Ηλεκτρολόγων Μηχανικών και Τεχνολογίας Υπολογιστών του Πανεπιστημίου Πατρών (2004 - σήμερα).
Διδασκαλία μαθήματος "Εισαγωγή στον Προγραμματισμό" (γλώσσα Python) (ΠΠ103) στο Διατμηματικό Πρόγραμμα Μεταπτυχιακών Σπουδών "ΠΕΖ: Πληροφορική Επιστημών Ζωής" του Πανεπιστημίου Πατρών (2012 - 2022).
Διδασκαλία στην Εργαστηριακή Θεματική Ενότητα ΠΛΗΠΡΟ "Προγραμματισμός" (γλώσσα Python), στο Πρόγραμμα Σπουδών "Πληροφορική" του Ελληνικού Ανοικτού Πανεπιστημίου (2021 - σήμερα).
Διδασκαλία των μαθημάτων "Εισαγωγή στην Επιστήμη των Υπολογιστών", "Τεχνικές Προγραμματισμού" και "Γλώσσες Προγραμματισμού" (γλώσσα C) στα πλαίσια της Θεματικής Ενότητας ΠΛΗ10 "Εισαγωγή στην Πληροφορική", στο Πρόγραμμα Σπουδών "Πληροφορική" του Ελληνικού Ανοικτού Πανεπιστημίου (2003 - 2017, 2018 - 2019, 2020 - 2021).
Εργαστηριακή υποστήριξη στο μάθημα "Προγραμματισμός Η/Υ ΙΙ" (γλώσσα Fortran), στο Τμήμα Πολιτικών Έργων Υποδομής του ΤΕΙ Πατρών (1997 - 1998).

Βιντεοδιαλέξεις Προγραμματισμού

Κβαντικοί Υπολογιστές

Διδασκαλία του μεταπτυχιακού μαθήματος "Κβαντική Επεξεργασία Πληροφορίας" (22ΜΜ027) στο Τμήμα Ηλεκτρολόγων Μηχανικών και Τεχνολογίας Υπολογιστών του Πανεπιστημίου Πατρών (2008 - 2024).
Διδασκαλία του μαθήματος "Κβαντικοί Υπολογιστές" (ECE_ΑΚ907) στο Τμήμα Ηλεκτρολόγων Μηχανικών και Τεχνολογίας Υπολογιστών του Πανεπιστημίου Πατρών (2023 - σήμερα).

Βιντεοδιαλέξεις Κβαντικών Υπολογιστών

"Κβαντικοί Υπολογιστές - Μια Οριζόντια Παρουσίαση" | 07-05-2020 : Διάλεξη στα μέλη του IEEE SB Patras

Από το μεταπτυχιακό μάθημα "Κβαντική Επεξεργασία Πληροφορίας" (2014):

01. Εισαγωγή | 06-03-2014 : Παρουσίαση εισαγωγικών εννοιών πάνω στους κβαντικούς υπολογιστές και περιγραφή της δομής και των διαδικαστικών του μαθήματος.
02. Το Κβαντικό Φαινόμενο | 06-03-2014 : Η κβαντική εκδοχή του πειράματος των δύο σχισμών. Συμβολή κυμάτων πιθανότητας.
03. Χρήση του Κβαντικού Φαινομένου σε Μετρήσεις | 06-03-2014 : Mach-Zehnder Interferometer, Elitzur-Vaidman Bomb-tester.
04. Κλασική και Κβαντική Πιθανότητα | 13-03-2014 : Η πιθανότητα ως παράγωγο μέγεθος που προκύπτει ως το τετράγωνο του μέτρου του πλάτους πιθανότητας.
05. Μιγαδικοί Αριθμοί | 13-03-2014 : Σύντομη υπενθύμιση γνωστών εννοιών πάνω στους Μιγαδικούς Αριθμούς.
06. Κβαντικά Συστήματα Δύο Καταστάσεων | 13-03-2014 : Ορισμός, παραδείγματα και ανάλυση διανυσμάτων κατάστασης.
07. Συμβολισμός Dirac | 13-03-2014 : <bra| + |ket> = <bracket>
08. Εσωτερικό Γινόμενο | 13-03-2014 : Ορισμός εσωτερικού γινομένου διανυσμάτων με συμβολισμό Dirac και χρήση του στον προσδιορισμό διανυσμάτων κατάστασης.
09. Εξωτερικό Γινόμενο | 13-03-2014 : Ορισμός εξωτερικού γινομένου διανυσμάτων με συμβολισμό Dirac.
10. Πίνακες ως Κβαντικές Πύλες | 20-03-2014 : Οι κβαντικές πύλες εκφράζονται ως πίνακες. Παράδειγμα: η κβαντική πύλη NOT. Ορθομοναδιαίοι πίνακες.
11. Πρόσθεση και Πολλαπλασιασμός Πινάκων | 20-03-2014 : Σύντομη υπενθύμιση πρόσθεσης και πολλαπλασιασμού πινάκων από τη γραμμική άλγεβρα.
12. Είδη και Μετασχηματισμοί Πινάκων | 20-03-2014 : Πίνακες τετραγωνικοί, μηδενικοί, μοναδιαίοι, αντίστροφοι, ανάστροφοι, συζυγείς, ερμιτιανοί, συμμετρικοί, ορθομοναδιαίοι. Σημασία ορθομοναδιαίων και ερμιτιανών.
13. Ιδιοτιμές και Ιδιοδιανύσματα | 20-03-2014 : Υπολογισμός ιδιοτιμών και ιδιοδιανυσμάτων με χρήση της χαρακτηριστικής εξίσωσης. Παράδειγμα. Ιδιότητες. Εφαρμογή σε μέτρηση.
14. Παραδείγματα | 20-03-2014 : Παραδείγματα εφαρμογής κβαντικών πυλών σε διανύσματα κατάστασης υπολογισμένα με πολλαπλασιασμό των διανυσμάτων με ορθομοναδιαίους πίνακες.
15. Qubits | 27-03-2014 : Γραφική και μαθηματική αναπαράσταση της κατάστασης ενός Qubit. Υπέρθεση βασικών καταστάσεων. Καθολική φάση (global phase).
16. Σφαίρα Bloch | 27-03-2014 : Αναπαράσταση κατάστασης qubit πάνω στη σφαίρα Bloch. Παράδειγμα. Διάκριση καταστάσεων με παρατήρηση.
17. Κβαντικοί Καταχωρητές και Τανυστικό Γινόμενο | 27-03-2014 : Περιγραφή καταστάσεων κβαντικών καταχωρητών με τανυστικό γινόμενο. Παραδείγματα. Ιδιότητες τανυστικού γινομένου.
18. Κβαντικές Πύλες | 27-03-2014 : Κβαντικές πύλες I, X, Y, Z, πύλες Pauli, βασικοί κατασκευαστικοί πίνακες, πύλες H, Φ, CN, CΦ, S, Toffili, Fredkin. Υλοποιήσεις.
19. Παράδειγμα Υπολογισμού με Κβαντικές Πύλες | 27-03-2014 : Έκφραση διάταξης ιντερφερόμετρου Mach-Zehnder σε μορφή κβαντικού κυκλώματος και επαλήθευση λειτουργίας του με κβαντικό υπολογισμό.
20. Θεώρημα Αδυναμίας Διακλάδωσης | 03-04-2014 : Απόδειξη του θεωρήματος αδυναμίας διακλάδωσης (no-cloning theorem) και εξήγηση της σημασίας του.
21. Κβαντική Κρυπτογραφία | 04-03-2014 : Περιγραφή του πρωτοκόλου BB84 κβαντικής διανομής κρυπτογραφικού κλειδιού.
22. Υπολογισμοί σε Κβαντικά Κυκλώματα | 03-04-2014 : Επεξήγηση διαδικασιών υπολογισμού κβαντικών κυκλωμάτων με εκτεταμένα παραδείγματα.
23. Completeness (Closure) Relation | 03-04-2014 : Περιγραφή και απόδειξη του Completeness (ή Closure) Relation και χρήση του για τον υπολογισμό ορθομοναδιαίων πινάκων κβαντικών πυλών.
24. Υπολογισμοί σε Κβαντικά Κυκλώματα (συνέχεια) | 03-04-2014 : Συνέχεια παραδειγμάτων υπολογισμού κβαντικών κυκλωμάτων. Ασκήσεις.
25. Κβαντική Διαπλοκή και Καταστάσεις Bell | 10-04-2014 : Ορισμός και επεξήγηση του φαινομένου της κβαντικής διαπλοκής. Καταστάσεις Bell και μετατροπές μεταξύ τους με την Conditional Pauli Gate.
26. Superdense Coding | 10-04-2014 : Περιγραφή και εξήγηση λειτουργίας της διαδικασίας και του κυκλώματος superdense coding.
27. Κβαντική Τηλεμεταφορά | 10-04-2014 : Περιγραφή και εξήγηση λειτουργίας της διαδικασίας και του κυκλώματος της κβαντικής τηλεμεταφοράς.
28. Αλγόριθμος Deutsch | 10-04-2014 : Παρουσίαση και επεξήγηση του κβαντικού αλγορίθμου Deutsch.
29. Ορισμός και Χρήση Oracle | 08-05-2014 : Κλασικό και κβαντικό oracle, ορισμός και χρήση.
30. Αλγόριθμος Grover | 08-05-2014 : Περιγραφή και εξήγηση λειτουργίας του αλγορίθμου Grover, υπολογιστική προσομοίωση και εφαρμογές.
31. Κβαντικός Μετασχηματισμός Fourier | 08-05-2014 : Παρουσίαση και επεξήγηση του κβαντικού μετασχηματισμού Fourier (QFT). Παραδείγματα.
32. Κρυπτογράφηση RSA | 15-05-2014 : Παρουσίαση και επεξήγηση της διαδικασίας κρυπτογράφησης RSA και της παραγοντοποίησης ακεραίων με την εύρεση περιόδου περιοδικής συνάρτησης.
33. Αλγόριθμος Shor | 15-05-2014 : Παρουσίαση και επεξήγηση του αλγορίθμου του Shor για τον υπολογισμό της περιόδου περιοδικής συνάρτησης σε πολυωνυμικό χρόνο.
34. Διευκρινίσεις και Απορίες για τον Αλγόριθμο του Shor | 15-05-2014 : Διευκρινίσεις και απορίες για τον αλγόριθμο του Shor.
35. Quantum Error Correction | 15-05-2014 : Διόρθωση bit-flips και σφαλμάτων φάσης σε κβαντικά συστήματα.
36. Χρήση Ancillary Qubits | 22-05-2014 : Τρόπος χρήσης βοηθητικών (ancillary) qubits. Παράδειγμα: κβαντικός διαιρέτης πιθανότητας.
37. Κβαντικό Hardware | 29-05-2014 : Κριτήρια di Vincenzo, τεχνολογίες κατασκευής κβαντικών υπολογιστικών συστημάτων, αδιαβατική προσέγγιση.
38. Επίλογος | 29-05-2014 : Προοπτικές και εφαρμογές κβαντικών αλγορίθμων.

Αλγόριθμοι και Δομές Δεδομένων

Διδασκαλία του μαθήματος "Αλγόριθμοι και Δομές Δεδομένων" (ECE_Ε625) στο Τμήμα Ηλεκτρολόγων Μηχανικών και Τεχνολογίας Υπολογιστών του Πανεπιστημίου Πατρών (2020 - σήμερα).
Διδασκαλία του μαθήματος "Δομές Δεδομένων" στα πλαίσια της Θεματικής Ενότητας ΠΛΗ10 "Εισαγωγή στην Πληροφορική", στο Πρόγραμμα Σπουδών "Πληροφορική" του Ελληνικού Ανοικτού Πανεπιστημίου (2003 - 2017, 2018 - 2019, 2020 - 2021).

Υπολογιστική Γλωσσολογία

Διδασκαλία μαθημάτων και εργαστηρίων "Υπολογιστική Γλωσσολογία", "Τεχνολογία Φυσικής Γλώσσας", "Επεξεργασία Ομιλίας και Φυσικής Γλώσσας" (22Α006, 22Α9061, 22Α9062, ECE_AK810) στο Τμήμα Ηλεκτρολόγων Μηχανικών και Τεχνολογίας Υπολογιστών, στο Τμήμα Φιλολογίας του Πανεπιστημίου Πατρών, καθώς και στα Διατμηματικά Προγράμματα Μεταπτυχιακών Σπουδών "Human Computer Interaction (HCI-Master)" και "Συστήματα Επεξεργασίας Πληροφορίας και Μηχανική Νοημοσύνη" του Πανεπιστημίου Πατρών (2004 - σήμερα).

Άλλα

Ακαδημαϊκός και Επιστημονικός Υπεύθυνος του Σύντομου Προγράμματος Σπουδών "Ανάπτυξη Ψυχαγωγικού Λογισμικού (Game Development)" του Ελληνικού Ανοικτού Πανεπιστημίου (2018 - σήμερα).
Ακαδημαϊκός Υπεύθυνος του Εκπαιδευτικού Προγράμματος Επιμόρφωσης "Διαδραστική Μυθοπλασία (Interactive Fiction)" στο ΚΕΔΙΒΙΜ του Πανεπιστημίου Πατρών (2022 - σήμερα).
Διαλέξεις στο μάθημα "Εισαγωγή στην Επιστήμη του Ηλεκτρολόγου Μηχανικού" (22Α208) στο Τμήμα Ηλεκτρολόγων Μηχανικών και Τεχνολογίας Υπολογιστών του Πανεπιστημίου Πατρών (2015 - σήμερα).
Διδασκαλία στη Θεματική Ενότητα ΠΛΗ11 "Αρχές Τεχνολογίας Λογισμικού" (περιλαμβάνει τα μαθήματα: "Τεχνολογία Λογισμικού", "Λειτουργικά Συστήματα" και "Βάσεις Δεδομένων") στο Πρόγραμμα Σπουδών "Πληροφορική" του Ελληνικού Ανοικτού Πανεπιστημίου (2001 - 2003, 2017 - 2018, 2019 - 2020).
Διδασκαλία του μαθήματος "Εισαγωγή στην Ψηφιακή Λογική" (22Υ105) στο Τμήμα Ηλεκτρολόγων Μηχανικών και Τεχνολογίας Υπολογιστών του Πανεπιστημίου Πατρών (2004 - 2009).
Διδασκαλία μαθημάτων πληροφορικής, ως υποψήφιος διδάκτωρ, στην μετα-δευτεροβάθμια Εκπαίδευση - δημόσια & ιδιωτικά ΙΕΚ: "Αυτοματισμοί – Λογικά Κυκλώματα", "Μηχανογραφημένη Λογιστική", "Γλώσσα Προγραμματισμού COBOL", "Γλώσσα Προγραμματισμού C", "Αρχιτεκτονική Η/Υ και Λειτουργικά Συστήματα", "Λειτουργικό Σύστημα UNIX", "Ψηφιακά Ηλεκτρονικά", "Εισαγωγή στα Δίκτυα Η/Υ" (1994 - 1998).
Εργαστηριακή υποστήριξη ως υποψήφιος διδάκτωρ στο μάθημα "Τηλεπικοινωνιακά Συστήματα" στο Τμήμα Ηλεκτρολόγων Μηχανικών και Τεχνολογίας Υπολογιστών του Πανεπιστημίου Πατρών (1989 - 1990).