Πέτρος Στεφανέας

Ο Πέτρος Στεφανέας είναι Καθηγητής στον Τομέα Μαθηματικών της Σχολής Εφαρμοσμένων Μαθηματικών και Φυσικών Επιστημών του Εθνικού Μετσόβιου Πολυτεχνείου (ΕΜΠ), με γνωστικό αντικείμενο τη Λογική και τις Τυπικές Μεθόδους στην Πληροφορική. Συντονίζει την ερευνητική ομάδα λ-Form του Εργαστηρίου Αλγοριθμικών Εφαρμογών και Λογικής.

Είναι πτυχιούχος του Τμήματος Μαθηματικών του Πανεπιστημίου Αθηνών και διδάκτορας του ΕΜΠ, όπου ολοκλήρωσε το 2002 τη διδακτορική του έρευνα στις εφαρμογές της λογικής στην πληροφορική. Πραγματοποίησε επίσης πολυετή έρευνα στο Μαθηματικό Ινστιτούτο και στο Εργαστήριο Πληροφορικής του Πανεπιστημίου της Οξφόρδης.

Το επιστημονικό του έργο εστιάζεται στη μαθηματική λογική, στη σημασιολογία των γλωσσών προγραμματισμού, στις τυπικές μεθόδους επαλήθευσης και στις αλγεβρικές προδιαγραφές υπολογιστικών συστημάτων. Παράλληλα, ασχολείται με τη φιλοσοφία της πληροφορικής, τη λογική και την ηθική της τεχνητής νοημοσύνης, την ηθική της πληροφορίας και τα ζητήματα που αφορούν την προστασία προσωπικών δεδομένων και τη διακυβέρνηση των ψηφιακών τεχνολογιών.

Η ερευνητική ομάδα λ-Form, την οποία συντονίζει, δραστηριοποιείται στην ανάπτυξη και εφαρμογή λογικών και τυπικών μεθόδων στην πληροφορική. Έχει συμμετάσχει σε ελληνικές και διεθνείς ερευνητικές συνεργασίες, επιστημονικά συνέδρια και διεπιστημονικά δίκτυα. Διδάσκει προπτυχιακά και μεταπτυχιακά μαθήματα, μεταξύ των οποίων τη «Τεχνορύθμιση και Επιστήμη των Δεδομένων», ενώ έχει συμμετάσχει στην Επιτροπή Ηθικής και Δεοντολογίας του ΕΜΠ.

Η επιστημονική του δραστηριότητα συνδυάζει τη μαθηματική θεμελίωση της πληροφορικής με τον φιλοσοφικό προβληματισμό για τις δυνατότητες, τους περιορισμούς και τις κοινωνικές συνέπειες των υπολογιστικών τεχνολογιών. Είναι μέλος του Επιστημονικού Συμβουλίου του ΙΦΙ.