Research and Teaching Interests

Publications

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 was a member of the Board of Editors of the Bulletin of the EATCS for about ten years until recently, and during that time I was 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.

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.
MFCSIT2006 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.
Information'09: The Fifth International Conference on Information was held in Kyoto University, Japan from 6th to 9th November, 2009.

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

International Workshops on The Complexity of Simple Programs (CSP 2008) The first of these workshops was held in University College Cork on the 6th and 7th December, 2008 (CSP 2008). The (electronic) conference proceedings were published as the first in the new series Electronic Proceedings in Theoretical Computer Science (EPTCS). The full length versions will appear in a special edition of Theoretical Computer Science, Guest Editors being Turlough Neary, Anthony Seda and Damien Woods.

Last modified: 30th August, 2010