SFI Stokes Professor
Complex and Adaptive Systems Laboratory (CASL)
SFI Centre LERO - the Irish Software Research Centre, funded by Science Foundation Ireland.
PI grant BEACON: BoolEAn-based deCision and OptimizatioN procedures, awarded by Science Foundation Ireland.
Co-recipient of the 2009 CAV Award (© Springer), for fundamental contributions to the development of high-performance Boolean satisfiability solvers.
Other recent news are available here.
Recent research results (software, papers, talks, etc.) are available
Also, you may want to check out my Google Plus website, and my LinkedIn profile.