Mathematical Modelling; Formal Methods; Functional Languages; Design Automation
I am active in the Irish Formal Methods Special Interest Group (IFMSIG), a programme committee member for the upcoming 1st Irish Workshop on Formal Methods (IWFM97) and a maintainer of the IFMSIG mailing lists.
I am heavily involved in organising the annual Trinity Week Academic Symposium held in college during May. This year's (May '98) is about Intercultural Communications (more details to follow)
I also look after the Computer Science departmental seminars , which are held most Fridays during term time
Primary Degree: BA,
BAI (1983) ,
Higher Degree: PhD.
(1990)