Rachonis Georgios

Professor

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

Office Hours: ???

Phone Number: +302310998330

Email: grahonis@math.auth.gr Website: Personal Website

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

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

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

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.