Γνωστικό Αντικείμενο

• Λογική και Τυπικές Μέθοδοι στην Πληροφορική

Σπουδές

• Πτυχίο Μαθηματικών, Πανεπιστήμιο Αθηνών
• Ερευνητής Μεταπτυχιακός Φοιτητής, Πανεπιστήμιο Οξφόρδης, Μαθηματικό Ινστιτούτο και Εργαστήριο Πληροφορικής (Oxford University, Mathematical Institute and Computing Laboratory-Programming Research Group)
• Διδακτορικό Δίπλωμα στις Εφαρμογές της Λογικής στην Πληροφορική (2002), Ε.Μ.Π., Τομέας Μαθηματικών, ΣΕΜΦΕ

Ερευνητικά Ενδιαφέροντα

• Εφαρμογές της Λογικής στον Προγραμματισμό, Τυπικές Μέθοδοι
• Λογική και Φιλοσοφία της Πληροφορικής

Ο Πέτρος Στεφανέας είναι διδάκτορας του ΕΜΠ και πτυχιούχος του μαθηματικού τμήματος του ΕΚΠΑ. Για έξι χρόνια έκανε έρευνα στο Εργαστήριο Πληροφορικής και το Μαθηματικό Ινστιτούτο του Πανεπιστημίου της Οξφόρδης. Υπηρετεί ως μέλος ΔΕΠ στον Τομέα Μαθηματικών του ΕΜΠ από το 2011: Λέκτορας 2011-16, Επίκουρος καθηγητής 2016 – 21, Αναπληρωτής Καθηγητής 2021-σήμερα με γνωστικό αντικείμενο «Λογική και Τυπικές Μέθοδοι στην Πληροφορική». Οι κύριες περιοχές της ερευνητικής του δραστηριότητας αφορούν την λογική της πληροφορικής  (σημασιολογία των γλωσσών προγραμματισμού και προδιαγραφών, αφηρημένη θεωρία μοντέλων) και τις τυπικές μεθόδους στην πληροφορική (αλγεβρικές προδιαγραφές, εφαρμογές των τυπικών μεθόδων).

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

Γνωστικό Αντικείμενο

• Μερικές Διαφορικές Εξισώσεις

Σπουδές

• 1987: Ph.D. in Mathematics, Department of Mathematics, National Technical University of Athens, Greece
• 1976-1979: Postgraduate Studies in the Dept. of Mathematics, University of Bucharest, Romania, in the area of Functional Analysis (Ordered Banach Spaces)
• 1975: Diploma in Mathematics, Dept of Mathematics, University of Patras, Greece

Ερευνητικά Ενδιαφέροντα

• Διατεταγμένοι Τοπολογικοί Χώροι
• Στοχαστική Συναρτησιακή Ανάλυση
• Μερικές Διαφορικές Εξισώσεις
• Διδακτική των Τεχνολογικών Μαθηματικών

Μαθήματα

Γνωστικό Αντικείμενο

• Εφαρμοσμένη Ανάλυση

Σπουδές

• 1992: Degree in Mathematics, Department of Mathematics, University of Patras
• 1995: Msc in Pure Mathematics, Department of Mathematics, University of Athens
• 2002: Ph.D. Thesis in Mathematics, Department of Mathematics, National Technical University of Athens, Greece. [Thesis title: Nonlinear Elliptic Partial Differential Equations and Hemivariational Inequalities.]

Ερευνητικά Ενδιαφέροντα

• Nonlinear analysis, nonlinear ordinary and partial differential equations(qualitative theory),variational and hemivariational inequalities(qualitative theory), optimization.

Γνωστικό Αντικείμενο

• Συναρτησιακή Ανάλυση

Σπουδές

• Διδακτορικό: Ph.D., Brunel University (Αγγλία), 1987
• Master of Science, University of Manitoba (Καναδάς), 1978
• Δίπλωμα Μαθηματικού, Παν. Πατρών, 1974

Ερευνητικά Ενδιαφέροντα

• Συναρτησιακή Ανάλυση
• Απειροδιάστατη Μιγαδική Ανάλυση
• Αρμονική Ανάλυση

Γνωστικό Αντικείμενο

• Μαθηματική Ανάλυση

Σπουδές

• Ph.D. in Mathematics from the University of California at Berkeley, 1976

Ερευνητικά Ενδιαφέροντα

• Nonlinear Functional Analysis
• Functional Equations
• Approximation Theory
• Global Analysis
• Analysis on Manifolds
• Calculus of Variations
• Inequalities
• Metric Geometry

Γνωστικό Αντικείμενο

• Συναρτησιακή Ανάλυση & εφαρμογές στην οικονομία.

Σπουδές

Ερευνητικά Ενδιαφέροντα

• Functional Analysis (Order spaces)
• Mathematical Economics (Equilibrium-theory, Financial Economics)

Γνωστικό Αντικείμενο

• Εφηρμοσμένη Ανάλυση

Σπουδές

Ερευνητικά Ενδιαφέροντα

Μαθήματα

Γνωστικό Αντικείμενο

• Στοχαστική Ανάλυση και Εφαρμογές

Σπουδές

• 1990-1995: Δίπλωμα Ηλεκτρολόγου Μηχανικού, Σχολή Ηλεκτρολόγων Μη-χανικών ΕΜΠ
• 1996-1998: Μεταπτυχιακό Δίπλωμα Ειδίκευσης στα Μαθηματικά, Ινστι-τούτο Courant, Πανεπιστήμιο της Νέας Υόρκης
• 1998-2001: Διδακτορικό Δίπλωμα στα Μαθηματικά, Ινστιτούτο Courant, Πανεπιστήμιο της Νέας Υόρκης

Ερευνητικά Ενδιαφέροντα

• Στοχαστική Ανάλυση
• Στοχαστικά συστήματα μεγάλης κλίμακας
• Θεωρία Μεγάλων Αποκλίσεων
• Στοχαστικός Έλεγχος

Ανάθεση Διδασκαλίας Μαθημάτων κατά το τρέχον Ακαδημαϊκό Έτος

Ώρες υποδοχής σπουδαστών