Bachelor of Science with 1st class honors, University Wales, Aberystwyth, 1969. Master of Science, University Warwick, Coventry, England, 1970. Doctor of Philosophy, University Wales, Bangor, 1974.
Lecturer, University College, Cork, Ireland, 1972-1978; senior lecturer, University College, Cork, Ireland, 1979-1987; senior lecturer, University College, Cork, Ireland, since 1988. Visiting professor Institute des Hautes Etudes Science, France, 1978-1979, Tulane University, New Orleans, 1979, U. Bristol, England, 1987-1988.
Fellow: Institute of Mathematics and Its Applications. Member: New York Academy of Sciences, European Association Theoretical Computer Science, European Association Logic Language and Information.
Married Martine Marie-Aline Guillaume, August 5, 1978.