ΠΜΣ Τμήμαος - math.upatras.grragos/cv-ragos.pdf · (ΠΜΣ Τμήμαος...

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

Transcript of ΠΜΣ Τμήμαος - math.upatras.grragos/cv-ragos.pdf · (ΠΜΣ Τμήμαος...

Page 1: ΠΜΣ Τμήμαος - math.upatras.grragos/cv-ragos.pdf · (ΠΜΣ Τμήμαος Μαθημαικών) Λογική και Λογικός Προγραμμαιμός Πριγραφή:

Ονοματεπώνυμο Όμηρος Ράγγος

Προσωπική Ιστοσελίδα http://www.math.upatras.gr/~ragos/

Σπουδές

1989 Διδακτορικό, Τμήμα Μαθηματικών, Πανεπιστήμιο Πατρών Onomatep;vnymo

1982 Πτυχίο Μαθηματικών, Τμήμα Μαθηματικών, Πανεπιστήμιο Πατρών Σπουδές

Ακαδημαϊκές θέσεις

2001- Επίκουρος Καθηγητής

1996-2001 Λέκτορας

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

Υπολογιστικές μέθοδοι σε προβλήματα δυναμικών συστημάτων

Αριθμητική επίλυση μη γραμμικών και διαφορικών εξισώσεων και συστημάτων

Σημασιολογικός ιστός

Μαθήματα που θα διδαχθούν κατά το επόμενο ακαδημαϊκό έτος

Προπτυχιακά (Τμήμα Μαθηματικών)

Γλώσσες Προγραμματισμού Ι

Περιγραφή:

Εισαγωγή: εισαγωγικά στοιχεία της C++, βασικοί τύποι και εκφράσεις, εντολές,

συναρτήσεις, ορατότητα και εμβέλεια, διανύσματα.

Αντικειμενοστρεφής προγραμματισμός: κλάσεις και αντικείμενα (Προσβασιμότητα μελών,

δημιουργία χρήση και καταστροφή αντικειμένων, κληρονομικότητα, virtual συναρτήσεις

μέλους και κλάσεις, συναρτήσεις και κλάσεις πρότυπα).

Γλώσσες Προγραμματισμού ΙΙ

Περιγραφή:

Εισαγωγή: Εισαγωγικά στοιχεία της Ada, δηλώσεις και τύποι, εκφράσεις, εντολές, σύνθετοι

τύποι, υποπρογράμματα, τύποι πρόσβασης, πακέτα, βασικοί τύποι και εκφράσεις, εντολές,

συναρτήσεις, ορατότητα και εμβέλεια, διανύσματα , κλάσεις και αντικείμενα.

Ταυτοχρονισμένος προγραμματισμός: Αρχιτεκτονικές πολλών επεξεργαστών, νήματα,

μηχανισμοί συγχρονισμού ανταγωνισμού και συνεργασίας, ταυτοχρονισμός στην Ada

(tasks, σημαφόροι, rendezvous, protected objects).

Λογικός Προγραμματισμός

Περιγραφή:

Επανάληψη στη Λογική των προτάσεων και των κατηγορημάτων, κανονικές μορφές,

κλασσικές αποδεικτικές μέθοδοι, η μέθοδος της επίλυσης, τύποι Horn, εξειδικεύσεις της

μεθόδου τις επίλυσης (unary, set-of-support, input, linear, SLD), εισαγωγή στoν

προγραμματισμό με τη γλώσσα Prolog.

Μεταπτυχιακά

Page 2: ΠΜΣ Τμήμαος - math.upatras.grragos/cv-ragos.pdf · (ΠΜΣ Τμήμαος Μαθημαικών) Λογική και Λογικός Προγραμμαιμός Πριγραφή:

(ΠΜΣ Τμήματος Μαθηματικών)

Λογική και Λογικός Προγραμματισμός

Περιγραφή:

Μαθηματική Λογική: Κανονικές μορφές, τύπο 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.135-154.

2. 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",

Page 3: ΠΜΣ Τμήμαος - math.upatras.grragos/cv-ragos.pdf · (ΠΜΣ Τμήμαος Μαθημαικών) Λογική και Λογικός Προγραμμαιμός Πριγραφή:

1995, Computer Physics Communications, 92, pp.252-266.

3. 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.1206-1211.

4. 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.212-232.

4. 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.107-113.

12 δημοσιεύσεις σε πρακτικά διεθνών συνεδρίων

Ενδεικτικές δημοσιεύσεις

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.157-164.

2. 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.533-542.

3. 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.642-645.

4. 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.3413-3418.

5. 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.3443-3448.

Σύνδεσμος σε ιστοσελίδα βιογραφικού http://www.math.upatras.gr/~ragos/publ.html

Βιβλία

Page 4: ΠΜΣ Τμήμαος - math.upatras.grragos/cv-ragos.pdf · (ΠΜΣ Τμήμαος Μαθημαικών) Λογική και Λογικός Προγραμμαιμός Πριγραφή:

Γλώσσες Προγραμματισμού Ι

Όμηρος Ράγγος

Πανεπιστήμιο Πατρών

Σελίδες 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.

Page 5: ΠΜΣ Τμήμαος - math.upatras.grragos/cv-ragos.pdf · (ΠΜΣ Τμήμαος Μαθημαικών) Λογική και Λογικός Προγραμμαιμός Πριγραφή: