Department of Mathematics

Aristotle University of Thessaloniki

Rachonis Georgios

Professor

Office: Glass Building of Faculty of Sciences, East Wing, 3rd Floor, Room 3.16

Office Hours: Monday 16:00-17:00, Tuesday 08:00-09:00

Phone Number: +302310998330

Email: grahonis@math.auth.gr

Website

Studies

  • Ph.D. in Mathematics, Aristotle University of Thessaloniki, Thessaloniki 1993
    • Doctoral Thesis Subject: Theoretical Informatics
    • Doctoral Thesis: Forest Bundles
    • Supervisor: Prof. Bozapalidis Symeon
  • B.Sc. in Mathematics, Aristotle University of Thessaloniki, Thessaloniki 1987

Professional Experience

  • Rapporteur on EL.KEPA in Computer Science, 1994 – 1998
  • Rapporteur at the National Center for Public Administration in Computer Science, 1998 – 2002
  • Teacher of Computer Science (PE19) in Secondary Education, September 1995 – October 2002
  • Lecturer, Aristotle University of Thessaloniki, October 2002 – September 2008
  • Assistant Professor, Aristotle University of Thessaloniki, October 2008 – June 2013
  • Associate Professor, Aristotle University of Thessaloniki, July 2013 – June 2018
  • Professor, Aristotle University of Thessaloniki, July 2018 – Today

Research Interests

  • Automatic theory
  • Logic
  • Qualitative and Quantitative Certification of Software and Hardware Architectures
  • DNA Computation
  • Computational Disease Models

Selected Publications

  • 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.