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