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

Καθηγητής

Γραφείο: Γυάλινο Κτήριο ΣΘΕ, 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 – Σήμερα

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

  • Θεωρία αυτομάτων
  • Λογική
  • Ποιοτική και Ποσοτική Πιστοποίηση Αρχιτεκτονικών Λογισμικού και Υλικού
  • DNA Υπολογισιμότητα
  • Υπολογιστικά Μοντέλα Ασθενειών

Επιλεγμένες Δημοσιεύσεις

  • 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, 14th 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.