Tuesday 23 Jan 2018
  • Increase font size
  • Default font size
  • Decrease font size
  • default style
  • blue style
  • green style
  • red style
  • orange style
You are here:

Boole Centre for Research in Informatics

Professor Dana Scott will deliver the 2015 Boole Lecture

Professor Dana Scott will deliver the 2015 Boole Lecture on Friday August 28th 2015, this lecture will form part of the a Boole Bicentenary Celebrations, see further details below

George Boole Bicentenary Celebration Programme

The George Boole Bicentenary Celebration will be held in Boole 4, Boole Lecture Theatres, UCC. For directions, see OpenStreetMap or Google Maps.

Friday, 28th August



Professor John O'Halloran, Deputy President, UCC
Professor Barry O'Sullivan, Head of Department, Computer Science

Boole Lecture Series - 2015 Lecture

My Life with Boolean Algebra

Professor Dana Scott, CMU, USA

Abstract. In 1950 the speaker entered UC Berkeley as a first-year major in Mathematics and very soon was confronted with learning about Boolean algebras.  And the encounters continue to this day! The talk will first review elementary ideas and definitions, and then discuss the impact of the work of nine 20th-century pioneers the speaker knew personally. The concluding section will outline prospects for future applications, list some outstanding problems, and point out key influences on the foundations of mathematics.

20:30 Reception (Aula Maxima)


Biography :


Dana Scott is the emeritus Hillman University Professor of Computer Science, Philosophy, and Mathematical Logic at Carnegie Mellon University. His research career spans computer science, mathematics, and philosophy. His work on automata theory earned him the ACM Turing Award in 1976, while his collaborative work with Christopher Strachey in the 1970s laid the foundations of modern approaches to the semantics of programming languages. He made seminal contributions to contemporary logic and is known for his creation of domain theory, a branch of mathematics that is essential for analyzing computer programming languages. He is the editor-in-chief of the journal Logical Methods in Computer Science.

Honors and Awards

LeRoy P. Steele Prize, American Mathematical Society (1972)

ACM Turing Award (with Michael Rabin) (1976)

Harold Pender Award, University of Pennsylvania (1990)

Rolf Schock Prize in Logic and Philosophy, Royal Swedish Academy of Sciences (1997)

Bolzano Medal for Merit in the Mathematical Sciences, Czech Academy of Sciences (2001)

European Association for Theoretical Computer Science (EATCS) Award (2007)

Russian Academy of Science’s Sobolev Institute of Mathematics Gold Medal (2009)

Academy/Association Fellowships

American Academy of Arts and Sciences

British Academy

Finnish Academy of Sciences and Letters

New York Academy of Sciences

US National Academy of Sciences

Academia Europaea

Fellow of the ACM



About Us

The Boole Centre for Research in Informatics is an ambitious project bringing together the expertise of the School of Mathematics, Applied Mathematics and Statistics (abbreviated here as Mathematical Sciences or MS) and the Department of Computer Science (CS) at University College Cork to carry out interdisciplinary research under the banner of Informatics. This represents the interface between the two disciplines and provides the motivation for the link with the name of George Boole, who was the first Professor of Mathematics at the former Queen’s College, Cork.


The Claude Shannon Institute Workshop On Coding and Cryptography 21st & 22nd May 2012

The Claude Shannon Institute Workshop

On Coding and Cryptography will take place on

21st & 22nd May 2012 for further details

click here

Irish Centre for Cloud Computing and Commerce Workshop, UCC, 31st May 2013

This is the first of a series of workshops being held by the Irish Centre for Cloud Computing and Commerce (www.ic4.ie)  at University College Cork from 10:00 am until 17:00 pm on 31st May 2013.

The workshop will address a number of technical and business aspects of cloud computing and is relevant to those interested in adopting, providing or developing cloud computing in their organisations. The schedule for the first workshop is:


10:00-10:15       Introduction to IC4

10:15-11:30       Using Blue Ocean Strategy for Cloud Computing

11:30-11:45       Coffee Break

11:30-13:00       Auto-configuration and auto-deployment

13:00-14:00       Networking Lunch

14:00-15:30       Search Engine Optimisation for Cloud Computing I

15:30-15:45       Coffee Break

15:45-16:55       Search Engine Optimisation for Cloud Computing II

16:55-17:00       Close

Venue:  Room 1.07 Western Gateway Building, University College, Cork.

The sessions will be delivered and moderated by researchers at the Irish Centre for Cloud Computing and Commerce including Prof. John Morrison (UCC), Dr Theo Lynn (DCU), and Dr Philip Healy (UCC).

Registration for this event is free.   Please register in advance by emailing Maureen Dwane This e-mail address is being protected from spambots. You need JavaScript enabled to view it with a list of attendees from your company no later than May 27th 2013.

Attendees confirming attendance by 27th May will receive summary SEO reports on their organisation for use during the workshop.



Cloud Technology Research Centre


The Irish Centre for Cloud Computing and Commerce (IC4) is a new Technology Centre funded by Enterprise Ireland and the IDA to develop new architectures, service models, security and business techniques that assist companies migrating and establishing their business on the Cloud in a secure and compliant manner. Dublin City University, University College Cork and Athlone Institute of Technology have been awarded the initial research phase of this Centre.

The Minister for Jobs, Enterprise and Innovation, Richard Bruton T.D., today (Monday, 2nd April, 2012) announced details of the €1.2million initial research programme in the Cloud Computing Technology Research Centre, aimed at helping to make Ireland a world leader in this fast-growing area, and at making a significant contribution to jobs and economic growth.

Cloud computing is a key target sector identified in the Action Plan for Jobs as offering major potential for Ireland, and establishing a Cloud Computing Technology Research Centre is one of the major actions contained in the plan aimed at realising this potential.

The funding will be allocated over 12 months to a consortium of Higher Education Institutions to carry out the initial research programme of Centre.

Led by Dublin City University, the research consortium which includes University College Cork, and Athlone Institute of Technology with input from the Innovation Value Institute at NUIM, will use the funding provided by the Department of Jobs, Enterprise & Innovation through Enterprise Ireland to work with a group of software companies to establish ways to generate business and profit from cloud computing.

The four principal areas into which research will be carried out are:

  • cloud computing technology architecture, including design, configuration and operation;
  • service management – cloud computing is now regarded as a utility service for organisations of all sizes, and there is need therefore for new methods and tools for designing, developing, releasing, maintaining and managing cloud-based applications and services;
  • business research – organisational and business models are as important as technology for cloud service providers;
  • cloud security – providing security is a key component in building trust in cloud-based services to ensure a quality user experience.

Making the announcement today, Minister Bruton said:

“A key part of this Government’s plan for growth and jobs is identifying areas where we believe Ireland has distinct advantages compared to other countries, and taking steps necessary to ensure that we realise our potential in those areas. Cloud computing is one such sector, and the Government believes that between our climate, skills base, telecoms connectivity and existing strengths in ICT, we have the potential to reap substantial benefits in terms of jobs and growth from the global expansion of this sector.

“However this growth won’t happen automatically, and through the Action Plan for Jobs we will implement a series of measures to encourage the growth of the sector. Today I am very pleased to announce the initial programme of industry-led research in the Cloud Computing Technology Research Centre. This Centre will follow international best practice in bringing academic researchers together with industry so as to ensure that our research strengths are targeted at answering questions that will help companies create viable business ideas and ultimately jobs in this area.

“Through the Action Plan for Jobs, I am determined to continue implementing change to ensure that Ireland realises its potential in this area and contribute to the jobs and growth we so badly need”.

According to Gearoid Mooney, Director of ICT Commercialisation at Enterprise Ireland, this research is vital to help Irish companies adopt cloud computing: “Having the capacity to do computing this way is one thing but software companies have to figure out how to make best use of this technology. While cloud computing has opened up many opportunities for software businesses there are enough unknowns to make research necessary. These are the issues that the Cloud Computing Technology Centre will help Irish based companies address”, he said.

He continued “The focus of the researchers in DCU, UCC, AIT and the Innovation Value Institute will be on identifying, harvesting, incubating and commercialising university and industry-led R&D to create new technologies, usage models and commercial applications for the global cloud computing marketplace. This is critical activity if Ireland is to become a leader in the cloud computing industry” said Mooney.

Professor Brian MacCraith President of DCU, the lead research partner, said: “As Ireland’s University of Enterprise, DCU is delighted to lead a research consortium that will provide solutions for industry-defined problems in a technological area of global importance. This partnership between enterprise and the Higher Institutes of Education will play a key role in economic development and contribute to Ireland’s recovery and, most importantly, job creation.”

This initial research programme will last 12 months and is a significant step in the context of a Government funded 5 year investment in a Technology Centre for Cloud Computing.

The Cloud Computing Technology Centre is the latest of 10 such thematically based centres to be established jointly by Enterprise Ireland and IDA Ireland.