Σμαραγδάκης Γιάννης | Τμήμα Πληροφορικής και Τηλεπικοινωνιών ΕΚΠΑ

Σμαραγδάκης Γιάννης

Ιδιότητα

Διδακτικό Ερευνητικό Προσωπικό (ΔΕΠ)

Καθηγητές/τριες

Βαθμίδα

Καθηγητής

Τομέας

Υπολογιστικά Συστήματα και Εφαρμογές

Γραφείο

A55

Τηλέφωνο

+30 210 7275311

smaragd

di [dot] uoa [dot] gr

Σπουδές

Διδακτορικό στην Επιστήμη Υπολογιστών, Δεκέμβριος 1999, Πανεπιστήμιο του Τέξας, Όστιν. (Επιβλέπων: Don S. Batory)
Μεταπτυχιακό στην Επιστήμη Υπολογιστών, Μάιος 1995, Πανεπιστήμιο του Τέξας, Όστιν.
Πτυχίο στην Επιστήμη των Υπολογιστών, Ιούλιος 1993, Πανεπιστήμιο Κρήτης, Ηράκλειο. Κρήτη / Ελλάδα

Επαγγελματική Σταδιοδρομία

Καθηγητής, Τμήμα Πληροφορικής και Τηλεπικοινωνιών, Πανεπιστήμιο Αθηνών, 2016-σήμερα.
Αναπληρωτής Καθηγητής, Τμήμα Πληροφορικής και Τηλεπικοινωνιών, Πανεπιστήμιο Αθηνών, 2010-2016.
Αναπληρωτής Καθηγητής, Τμήμα Επιστήμης Υπολογιστών, Πανεπιστήμιο της Μασαχουσέτης, Amherst, 2008-2010.
Αναπληρωτής Καθηγητής, Τμήμα Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Πανεπιστήμιο του Όρεγκον, 2006-2008.
Επίκουρος Καθηγητής, College of Computing, Georgia Institute of Technology, 2000-2006.

Επιστημονικά Ενδιαφέροντα

Εφαρμοσμένες Γλώσσες Προγραμματισμού και Τεχνολογίες Λογισμικού.
Αφαιρετικοί μηχανισμοί γλωσσών προγραμματισμού (γεννήτριες προγραμμάτων, γλώσσες ειδικού σκοπού, modules and components, επεκτάσιμες γλώσσες, metaprogramming, προγραμματισμό πολλών προτύπων).
Γλώσσες και εργαλεία για συστήματα (μοντέλα προγραμματισμού για πολυπρογραμματισμό, γλωσσική υποστήριξη για κατανεμημένο υπολογισμό, διαχείριση μνήμης για καλή κατανομή κατά την εκτέλεση).
Ανάλυση προγραμμάτων και Αυτόματος Έλεγχος Λαθών (αυτόματη δημιουργία τεστ, συμπερασμός σταθερών συνθηκών (invariants), συμβολική εκτέλεση, ανάλυση δεικτών).

Σύντομο βιογραφικό σημείωμα