Ακαδημαϊκές θέσεις Επίκουρος Καθηγητής Λέκτορας

Transcript

1 Ονοματεπώνυμο Προσωπική Ιστοσελίδα Σπουδές 1989 Διδακτορικό, Τμήμα Μαθηματικών, Onomatep;vnymo 1982 Πτυχίο Μαθηματικών, Τμήμα Μαθηματικών, Σπουδές Ακαδημαϊκές θέσεις Επίκουρος Καθηγητής Λέκτορας Επιστημονικά-ερευνητικά ενδιαφέροντα Υπολογιστικές μέθοδοι σε προβλήματα δυναμικών συστημάτων Αριθμητική επίλυση μη γραμμικών και διαφορικών εξισώσεων και συστημάτων Σημασιολογικός ιστός Μαθήματα που θα διδαχθούν κατά το επόμενο ακαδημαϊκό έτος Προπτυχιακά (Τμήμα Μαθηματικών) Γλώσσες Προγραμματισμού Ι Εισαγωγή: εισαγωγικά στοιχεία της C++, βασικοί τύποι και εκφράσεις, εντολές, συναρτήσεις, ορατότητα και εμβέλεια, διανύσματα. Αντικειμενοστρεφής προγραμματισμός: κλάσεις και αντικείμενα (Προσβασιμότητα μελών, δημιουργία χρήση και καταστροφή αντικειμένων, κληρονομικότητα, virtual συναρτήσεις μέλους και κλάσεις, συναρτήσεις και κλάσεις πρότυπα). Γλώσσες Προγραμματισμού ΙΙ Εισαγωγή: Εισαγωγικά στοιχεία της Ada, δηλώσεις και τύποι, εκφράσεις, εντολές, σύνθετοι τύποι, υποπρογράμματα, τύποι πρόσβασης, πακέτα, βασικοί τύποι και εκφράσεις, εντολές, συναρτήσεις, ορατότητα και εμβέλεια, διανύσματα, κλάσεις και αντικείμενα. Ταυτοχρονισμένος προγραμματισμός: Αρχιτεκτονικές πολλών επεξεργαστών, νήματα, μηχανισμοί συγχρονισμού ανταγωνισμού και συνεργασίας, ταυτοχρονισμός στην Ada (tasks, σημαφόροι, rendezvous, protected objects). Λογικός Προγραμματισμός Επανάληψη στη Λογική των προτάσεων και των κατηγορημάτων, κανονικές μορφές, κλασσικές αποδεικτικές μέθοδοι, η μέθοδος της επίλυσης, τύποι Horn, εξειδικεύσεις της μεθόδου τις επίλυσης (unary, set-of-support, input, linear, SLD), εισαγωγή στoν προγραμματισμό με τη γλώσσα Prolog. Μεταπτυχιακά

2 (ΠΜΣ Τμήματος Μαθηματικών) Λογική και Λογικός Προγραμματισμός Μαθηματική Λογική: Κανονικές μορφές, τύπο Horn, SLD- επίλυση, τύποι Horn, εξειδικεύσεις της μεθόδου τις επίλυσης (unary, set-of-support, input, linear, SLD), η γλώσσα Prolog, εφαρμογές στην Τεχνητή Νοημοσύνη. Τροπική Λογική: Οι τελεστές, και η σημασιολογία τους, αποδείξεις στην Τροπική Λογική. (Διατμηματικό ΠΜΣ Τμήματος Μαθηματικών και Τμήματος Μηχανικών Η/Υ και Πληροφορικής) Εφαρμογές Υπολογιστικών Μαθηματικών στην Οικονομία, τη Διοίκηση και τη Βιομηχανία Βασικές αριθμητικές μέθοδοι επίλυσης διαφορικών εξισώσεων, πεπερασμένων στοιχείων, πεπερασμένων όγκων και φασματικές αριθμητικές μέθοδοι. Στρατηγικές μαθηματικής μοντελοποίησης και αριθμητικής επίλυσης διαφόρων εφαρμοσμένων προβλημάτων. Μελέτη συγκεκριμένων εφαρμογών όπως ροή ρευστού σε θάλαμο, μελέτη ταλαντευόμενης πτέρυγας, ροή μαγνητικού ρευστού σε σωλήνα, μοντελοποίηση ροής λάβας ηφαιστείου, Διδακτορικές διατριβές 1) Μαρία Τσιακμάκη, «Οντολογίες και Λογική Παραγωγή με Εφαρμογές σε Υπηρεσίες Μάθησης στο Σημασιολογικό Ιστό» (σε εξέλιξη). 2) Παρασκευή Τσούτσα «Μοντελοποίηση της Σύνθεσης των Υπηρεσιών Ιστού στον Σημασιολογικό Διαδίκτυο» (σε εξέλιξη). Οι υποψήφιες εργάζονται ήδη σε ιδρύματα τριτοβάθμιας εκπαίδευσης. Μεταπτυχιακές διπλωματικές εργασίες (μια επιλογή) 1) Ιωάννης Δεσύλλας, «Φωτοβαρυτικό περιορισμένο πρόβλημα των τριών σωμάτων: Οικογένειες τρισδιάστατων περιοδικών λύσεων που ξεκινούν από τα εκτός τροχιακού επιπέδου σημαία ισορροπίας» 2) Νικόλαος Κόλλιας, «Μελέτη Οικογενειών Περιοδικών Τροχιών γύρω από τα Τριγωνικά Σημεία Ισορροπίας στο Δισδιάστατο Φωτοβαρυτικό Πρόβλημα των Τριών Σωμάτων». 3) Σταυρούλα Βαφάκου, «Δυσlog: ένα λογισμικό-διορθωτής κειμένου για δυσλεκτικά άτομα στην Prolog». 4) Αλκαίος Παπαϊωάννου, «Επαγωγικός Λογικός Προγραμματισμός και Progol». Οι προαναφερθέντες εργάζονται στην δευτεροβάθμια εκπαίδευση. Ερευνητικό έργο 27 δημοσιεύσεις σε διεθνή περιοδικά Ενδεικτικές δημοσιεύσεις 1. O. Ragos and C. Zagouras : "Periodic solutions about the `out of plane' equilibrium points in the photogravitational restricted three-body problem", 1988, Celestial Mechanics, 44, pp M.N. Vrahatis, O. Ragos, T. Skiniotis, F.A. Zafiropoulos and T.N. Grapsa : "RFSFNS: A portable package for the numerical determination of the number and the calculation of roots of Bessel functions",

3 1995, Computer Physics Communications, 92, pp L. Drossos, O. Ragos, M.N. Vrahatis and T. Bountis : "Method for computing long periodic orbits of dynamical systems", 1995, Physical Review E, 53(1), pp P. Kravanja, M. Van Barel, O. Ragos, M.N. Vrahatis, and F.A. Zafiropoulos : "ZEAL: A mathematical software package for computing zeros of analytic functions", 2000, Computer Physics Communications, 124, pp I. Haranas, O. Ragos and V. Mioc : "Yukawa-type potential effects in the anomalistic period of celestial bodies", 2011, Astrophysics and Space Science, 332(1), pp δημοσιεύσεις σε πρακτικά διεθνών συνεδρίων Ενδεικτικές δημοσιεύσεις 1. O. Ragos and C.G. Zagouras : "A numerical algorithm for the determination of regions of quasi-periodic motion in two-dimensional Hamiltonian systems", 1995, 3rd International Colloquium on Numerical Analysis : Invited Lectures and Short Communications (1994, Plovdiv, Bulgaria) edited by D. Bainov and A. Dishliev, Sc. Cult. Techn. Publ., Singapore,pp O. Ragos, M.N. Vrahatis and F.A. Zafiropoulos : "The topologicaldegree for the computation of the exact number of equilibrium points ofdynamical systems", 1994, Proceedings of the 2nd Hellenic-European Conference on Mathematics and Informatics HERMIS 94, Athens, Greece, Vol.2, pp M.N. Vrahatis, O. Ragos and G.S. Androulakis : "A method for computing families of periodic orbits based on unconstrained oprimization", 1999, Proceedings of the NATO Advanced Study Institute on Hamiltonian Systems with Three or More Degrees of Freedom (1995, S'Agaro, Spain), edited by C. Simo, NATO ASI Series, Series C, Vol.533, Kluwer Academic Publishers, Netherlands, pp O. Ragos, E.A. Perdios, V.S. Kalantonis and M.N. Vrahatis : "On the equilibrium points of the relativistic restricted three-body problem", Proceedings of the Third World Congress of Nonlinear Analysis (2000, Sicily, Italy), edited by V. Lakshmikantham, 2001, Nonlinear Analysis, 47(5), pp E.A. Perdios, O. Ragos, A.E. Perdiou and M.N. Vrahatis : "Symmetric doubly asymptotic orbits in the photogravitational restricted three-body problem", Proceedings of the Third World Congress of Nonlinear Analysis (2000, Sicily, Italy), edited by V. Lakshmikantham, 2001, Nonlinear Analysis, 47(5), pp Σύνδεσμος σε ιστοσελίδα βιογραφικού Βιβλία

4 Γλώσσες Προγραμματισμού Ι Σελίδες 211 Γλώσσες Προγραμματισμού ΙΙ Σελίδες 243 Λογικός Προγραμματισμός και Prolog Σελίδες 100 Αναγνώριση επιστημονικού έργου Το Web of Science αναφέρει 33 δημοσιεύσεις που αναφέρθηκαν σε 152 άλλες δημοσιεύσεις (εξαιρουμένων των αυτοαναφορών) και h-index 8. Το google scholar αναφέρει 40 δημοσιεύσεις με h-index 11 kai g-index 17 Διεθνείς συνεργασίες Ερευνητική συνεργασία με κοινές δημοσιεύσεις με τους M. Van Barel Department of Computer Science, Katholieke Universiteit Leuven, Leuven, Belgium. P. Kravanja, Department of Computer Science, Katholieke Universiteit Leuven, Leuven, Belgium. I. Haranas, Department of Physics and Astronomy, York University, Toronto, Canada. V. Mioc, Astronomical Institute of the Romanian Academy, Bucharest, Romania. I. Gkigkitzis, Departments of Mathematics and Biomedical Physics, East Carolina University, Greenville, USA. Συμμετοχή στην οργάνωση ενός special issue στο περιοδικό American Journal of Space Science. Τα θέματα του θα είναι Modified Gravity: Black Holes, Entropic Gravity and Information in Astrophysics and Cosmology, and, Biological Effects of Microgravity. Κριτής Σε περιοδικά Computer Physics Communications, The Astrophysical Journal. Σε ερευνητικά προγράμματα του National Center of Science and Technology Evaluation, Ministry of Education and Science, Astana, Republic of Kazakhstan.

5