Research and Teaching Interests

Publications

Recent and Forthcoming Presentations

Recent and Forthcoming Events

Membership of Professional Associations

Some Useful Contacts

BCRI: The Boole Centre for Research in Informatics was founded by the Higher Education Authority in 2002. I am a member of its Executive Board.

European Association for Theoretical Computer Science (EATCS): I am a member of the Board of Editors of the Bulletin of the EATCS, and I am responsible for the "News from Ireland" column in the Bulletin.

Information: I am a member of the Editorial Board, and Associate Editor for Europe, of the journal "Information" which solicits high quality papers in all areas of Science and Technology.

Asian Information-Science-Life: I am also a member of the Editorial Board of the journal "Asian Information-Science-Life" which solicits high quality papers in the information and life sciences.

Compulog Net: I am the contact person at Cork Compulog Node Cork for Compulog Net, the ESPRIT Network of Excellence in Computational Logic.

Course Material: MA1015

CONFERENCES I am involved in the running and organization of a number of conferences including the following:

The MFCSIT Conferences were initiated by me and Prof. Ted Hurley of NUI Galway, starting in UCC on 2000. They focus on the Mathematical Foundations of Computer Science and Information Technology (MFCSIT). The Proceedings are published in Elsevier's Electronic Notes in Theoretical Computer Science (ENTCS).
MFCSIT2000 was held in University College Cork on the 20th and 21st July, 2000.
MFCSIT2002 was held in NUI, Galway on the 18th and 19th of July.
MFCSIT2004 was held in Trinity College, Dublin on the 22nd and 23rd July, 2004.
(MFCSIT'06) was held in University College Cork from 1st to 5th August, 2006.

The Information Conferences were started in Japan in 2000, and I have been actively involved in their running from the beginning. They focus on the theme of information in the sciences with particular emphasis on Computer Science and Information and Communication Technologies. The Proceedings are published in Information.
Information'00: The First International Conference on Information was held in Fukuoka, Japan from 16th to 19th October, 2000.
Information'02: The Second International Conference on Information was held in Beijing, China from 24th to 27th July, 2002.
Information'04: The Third International Conference on Information was held in Hosei University, Tokyo from 29th November until 2nd December, 2004.
Information'06: The Fourth International Conference on Information was held in University College Cork from 1st to 5th August, 2006.

International Workshops on Formal Methods I am active in the Irish Formal Methods Special Interest Group (IFMSIG), and in the associated International Workshops on Formal Methods whose proceedings are published by the British Computer Society in Electronic Workshops in Computing (eWiC).

Last modified: 12th August, 2006