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