Professor
Department of Mathematics
54124
Office: Glass building, 3rd floor, No 3'.16
Email: grahonis@math.auth.gr
Phone: +302310998330
Fax: +302310998327
Automata theory, Logic, Formal verification, Computational disease models  
CV 
Publications 
Projects 
Team

Courses 
Students' hours 
Conferences hosted 
Useful links (Journals, Organizations) 
Seminar on Theoretical Computer Science and Discrete Mathematics (in Greek until 2015) 