Ραχώνης Γεώργιος

Καθηγητής

Γραφείο: Γυάλινο Κτήριο ΣΘΕ, 3ος Όροφος, Γραφείο 3.16

Ώρες Γραφείου: @-συνεννόηση

Τηλέφωνο: +302310998330

Email: grahonis@math.auth.gr Website: Προσωπική Σελίδα

Διδακτορικό στα Μαθηματικά, Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης, Θεσσαλονίκη 1993
- Γνωστικό Αντικείμενο Διδακτορικής Διατριβής: Θεωρητική Πληροφορική
- Τίτλος Διδακτορικής Διατριβής: Δέσμες δασών
- Επιβλέπων: Καθ. Μποζαπαλίδης Συμεών
Πτυχίο Μαθηματικών, Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης, Θεσσαλονίκη 1987

Εισηγητής στο ΕΛ.ΚΕ.ΠΑ. σε αντικείμενα Πληροφορικής, 1994 – 1998
Εισηγητής στο Εθνικό Κέντρο Δημόσιας Διοίκησης σε αντικείμενα Πληροφορικής, 1998 – 2002
Καθηγητής Πληροφορικής (ΠΕ19) στη Δευτεροβάθμια Εκπαίδευση, Σεπτέμβριος 1995 – Οκτώβριος 2002.
Λέκτορας, Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης,, Οκτώβριος 2002 – Σεπτέμβριος 2008
Επίκουρος Kαθηγητής, Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης, Οκτώβριος 2008 – Ιούνιος 2013
Αναπληρωτής Kαθηγητής, Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης, Ιούλιος 2013 – Ιούνιος 2018
Kαθηγητής, Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης, Ιούλιος 2018 – Σήμερα

Bozapalidis and G. Rahonis, (1994). On two families of forests, Acta Informatica 31:235-260, doi:10.1007/BF01218405
Rahonis, (2007). Weighted Muller tree automata and weighted logics, Journal of Automata, Languages and Combinatorics 12:455-483.
Droste and G. Rahonis, (2010). Weighted automata and weighted logics on infinite words, Russian Mathematics (Iz. VUZ) 54:26-45, doi:10.3103/S1066369X10010044
Mandrali and G. Rahonis, (2014). On weighted first-order logics with discounting, Acta Informatica 51:61-106, doi:10.1007/s00236-013-0193-3
Paraponiari and G. Rahonis, (2017). On weighted configuration logics, 14^th International Conference on Formal Aspects of Component Software 2017, Lecture Notes in Computer Science, 10487:98-116, doi:10.1007/978-3-319-68034-7_6.