Thursday 21 Sep 2017
  • Increase font size
  • Default font size
  • Decrease font size
  • default style
  • blue style
  • green style
  • red style
  • orange style
You are here:

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 research carried out will complement UCC’s overall strategies for research both in Information and Communications Technologies and in Biosciences. The Centre is unique in Ireland. It aims to consolidate UCC’s leading position in Ireland in interdisciplinary research in mathematical sciences and computer science, and to further UCC’s strategic ambition to become a leading European centre for research in this area. It complements UCC’s recent success in winning two Science Foundation Ireland (SFI) PIs and two Fellows in ICT. Furthermore, it will provide the infrastructure necessary to enable UCC to compete for SFI funding in Informatics as part of ICT, and attract world-class researchers to UCC and Ireland. The research of the Centre will initially be carried out in three broad themes that both reflect the current strengths of the constituent groups and encompass the major fundamental topics in the area of Informatics, namely, Information Theory, the Theory of Computation, and Computing Paradigms. We anticipate an internationally competitive growth in each of these areas, and significant interaction among them.

Substantial expertise already resides in MS and CS in all three areas, and we have commenced specific projects in all three themes which are sufficiently fundamental to allow for future developments and extensions of their focus. Interaction with other research groups within UCC, such as the Tyndall National Institute, the National Nanofabrication Facility, and the Biosciences Institute, is envisaged, in areas such as microelectronic engineering, parallel computation, quantum computing, DNA computing, and bioinformatics. Interaction with international research groups, such as CWI (Amsterdam), EIDMA (Eindhoven), and INRIA (Rocquencourt) is also assured, given the strong links that have been established, over many years, by individuals and groups within CS and MS.

 

Areas of Research

 

Information Theory deals with the problems of information storage, transmission, and extraction. The issues of effciency, reliability, and security correspond respectively to applications of data compression codes, error correcting codes, and security codes such as cryptosystems and access protocols. Also, in many scientific applications, information is generated in the presence of noise and in order to be successfully interpreted it must be extracted and analysed statistically.


The Theory of Computation deals with the theory of programming languages, or semantics, with the main focus being on the construction of models of languages for special purposes, such as real number computation, dataflow networks, logic programming, and e±ciency analysis.

The Computing Paradigms theme deals with topics such as parallel and distributed computing, models of computing such as the condensed graphs model, constraint satisfaction, and biocomputing. Issues such as load balancing, fault tolerance, and intertask communication are studied. Application areas include complex nonlinear dynamical systems, turbulent fluid flows, and Monte Carlo methods.