Recent News
Post-doctoral positions and PhD
studentships available !
New 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.
Research
Decision and optimization procedures, including Boolean satisfiability
and extensions. Applied formal methods. Applications in system
verification and model checking, artificial intelligence, design
automation, and bioinformatics.
Recent research results (software, papers, talks, etc.) are available
from here.
Publications
Preprints of recent publications are
available
from here.
More complete lists of publications are available
from DBLP or
from EPrints
(Temporary).
Citation data is available
from
my
Google
Scholar public profile,
from Google
Scholar,
from
Microsoft
Academic Search (author information),
and also from
my ACM author profile.
Research Grants
Professional Activities
- Associate Editor
of Integration, the VLSI
Journal (Jul 2009-date).
- Editorial Board Member of JSAT, Journal on Satisfiability, Boolean Modeling and Computation (2005-date).
- Conference Co-chair of
the 10th
International Conference on Theory and Applications of
Satisfiability Testing (SAT), Lisbon, Portugal, May 28-31
2007.
- Recent Technical Program Committee Service:
- AAAI'12, AAAI Conference on Artificial Intelligence.
- SAT'12, Conference on Theory and Applications of Satisfiability Testing.
- DATE'12, Design, Automation and Testing Conference.
- ICDM WDPM'11, Workshop on Declarative Pattern Mining.
- CP SofT'11, Workshop on Preferences and Soft Constraints.
- CP PMCS'11, Workshop on Parallel Methods for Constraint Solving.
- CP'11, International Conference on Principles and Practice of Constraint Programming.
- SAT PoS'11, SAT'11 Pragmatics of SAT Workshop.
- IJCAI AIS'11, IJCAI'11 Workshop on the use of SAT techniques in Artificial Intelligence.
- SAT'11, Conference on Theory and Applications of Satisfiability Testing.
- IJCAI'11, International Joint Conference in Artificial Intelligence.
- RCRA'11, 2011 RCRA Workshop.
- FM'11, International Symposium on Formal Methods.
- DATE'11, Design, Automation and Testing Conference.
- SofT'10, Workshop on Preferences and Soft Constraints. (Co-Organizer)
- RCRA'10, 2010 RCRA Workshop.
- ECAI'10, European Conference on Artificial Intelligence.
- AAAI'10, AAAI Conference on Artificial Intelligence.
- CSL'10, Conference on Computer Science Logic.
- SAT'10, Conference on Theory and Applications of Satisfiability Testing.
- DATE'10, Design, Automation and Testing Conference. (D8 Topic Co-Chair, CFP)
Additional Information
Available from my institutional web pages at
CASL,
CSI,
and
UCD
Research,
and also from the
Complex and Adaptive Systems Laboratory, the
School of Computer Science & Informatics,
and University College Dublin.
Also, you may want to check out my
Google Plus website,
and my
LinkedIn profile.
