Professor
Department of Mathematics
54124
Office: Glass building, 3rd floor, No 3'.16
E-mail: 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) |