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

• Μαθηματική Θεωρία Ελέγχου

Σπουδές

• B.Sc. in Physics, University of Athens, 1978. Ph. D in Systems Science, University of Athens, 1983.

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

• Nonlinear Systems, Stabilty, Stabilization, System Identification, Geometric Control theory, Tracking, Robust and Stochastic Control

Μαθήματα

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

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

Σπουδές

• Διδακτορικό Δίπλωμα στα Μαθηματικά (PhD), Department of Mathematics, Heriot-Watt University, Εdinburgh, Scotland. Επιβλέπων Καθηγητής: A. A. Lacey
• Πτυχίο Μαθηματικών, Μαθηματικό Τμήμα Φυσικομαθηματικής Σχολής Αριστοτελείου Πανεπιστημίου Θεσσαλονίκης

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

• Μη γραμμικές Μερικές Διαφορικές Εξισώσεις: Ελλειπτικού και Παραβολικού τύπου
• Μη τοπικές, μη γραμμικές Μερικές Διαφορικές Εξισώσεις Ελλειπτικού, Υπερβολικού και κυρίως Παραβολικού τύπου
• Έκρηξη λύσεων (Blow-up). Εκτιμήσεις (when) του χρόνου έκρηξης. Που (where) και πως (how) λαμβάνει χώρα η έκρηξη
• Προβλήματα με κινούμενο σύνορο (free boundary problems)
• Kατασκευή προτύπων και μελέτη προβλημάτων μετακίνησης πληθυσμών (Social Mathematics, Population Dynamic)

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

• Αλγόριθμοι και Πολυπλοκότητα

Σπουδές

• Ph.D in Computer Science, University of Texas at Dallas, USA, 1991
• Master in Computer Science, University of Texas at Dallas, USA, 1989
• Diploma in Computer Engineering and Information Sciences, University of Patras, Greece, 1987

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

• Θεωρητική Πληροφορική με έμφαση σε Αλγόριθμους και Πολυπλοκότητα (Απεικόνιση Γραφημάτων, Θεωρία Γραφημάτων, Υπολογιστική Γεωμετρία). Οπτικοποίηση Δεδομένων. Ιδιωτικότητα, Προστασία Δεδομένων και Ασφάλεια. Ανάπτυξη Λογισμικού.

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

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

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

Σπουδές

• Πτυχίο Μαθηματικών, Πανεπιστήμιο Αθηνών
• Ερευνητής Μεταπτυχιακός Φοιτητής, Πανεπιστήμιο Οξφόρδης, Μαθηματικό Ινστιτούτο και Εργαστήριο Πληροφορικής (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