1995 Ph.D. in Computer Science, Carleton University, Ottawa, Ont., Canada, with thesis Local global methods in number theory. Supervisor: Prof. J.D. Dixon.

1991 Master of Computer Science, Carleton University, Ottawa, Ont., Canada, with thesis Generation of random elements in permutation groups. Supervisor: Prof. M.D. Atkinson.

1987 Laurea in Scienze dell'Informazione, Universita' degli Studi di Bari, with thesis Sistemi esperti e sistemi di supporto alle decisioni. Supervisor: Prof. V.L. Plantamura.