Professor Barry O'Sullivan

Professor (Chair of Constraint Programming)
Department of Computer Science
University College Cork, Ireland.

Director, Cork Constraint Computation Centre
Science Foundation Ireland Principal Investigator

Office: Room 2-65, Cork Constraint Computation Centre,
Western Gateway Building [map], University College Cork.

Telephone: +353 21 420 5951 | UCC Extension: 5951.

Publications: My Full List | My DBLP Entry | Google Scholar

Teaching. I coordinate UCC's MSc in Computing Science.

Also, in 2010-2011 I teach the following modules:

Period 1:
CS1106 - Introduction to Relational Databases
CS6403 - Case-studies in Computing Entrepreneurship

Period 2:
CS6405 - Datamining
CS6508 - Computer Programming for GIS Applications

My Erdös Number is 3: Me → D.Marx → N.Alon → Paul Erdös

Research Community Service. I serve my research community in many ways:
President, Association of Constraint Programming (ACP)
Chairman, Artificial Intelligence Association of Ireland
Coordinator, ERCIM Working Group on Constraints
Council Member, Management Science Society of Ireland
National Representative COST Action IC0602 (Algorithmic Decision Theory)

Research Interests. My main area of research interest is intelligent software systems, artificial intelligence, optimisation and applications to real world problems. I am also interested in theoretical computer science, in particular parameterised complexity and its applications. While, most of my work is in the area of constraint programming, I also like to combine techniques from the field of machine learning and formal methods with constraint and satisfiability solving techniques. Specific application domains I am interested in include: cancer care, health, environmental sustainability, computer/network security, configuration, design, telecommunications, combinatorial auctions and electronic commerce. I am lucky to have a very successful research group. Some of our recent successes include: winning the Post-Enrollment Course Timetabling track at the 2007 International Timetabling Competition; overall winner of the 2008 International CSP Solver Competition with our case-based reasoning solver portfolio cpHydra; winning the 2007 IEEE Ramamoorthy Award; winning the Irish Software Association prize for Most Commercially Viable Student Project 2007.

Professional Activities. I am co-chairing a workshop at AAAI 2011 on AI for Data Centre Management and Cloud Computing. Highlights from 2010 include: an invited talk (slides) at AAAI-2010; a AAAI-2010 Tutorial on combinatorial optimisation with our platform Numberjack system; a CP-2010 Tutorial on backdoors in CP and SAT (slides); the launch of the George Boole Computer Labs project; and chairing TEDxUCC, a TED event.

I gave an IJCAI-09 Tutorial on Explanation Generation. I am co-chairing a Special Track on Constraints at the ACM Symposium on Applied Computing 2010. Recent events I've organised: ACP Summer School 2009; CSCLP 2009; and COST Action Doctoral School 2009 on Decision Theoretic AI. I was a Senior Programme Committee Member for AAAI 2010 and IJCAI 2009, and a Programme Committee Member for CP 2010, CPAIOR 2010, ECAI 2010, and ACM RecSys 2010. Recent invited talks at: ASPL 2008 and CSCLP 2006; summer school lectures at the 2008 ACP Summer School. I was co-chair of AICS 2008. I was a Programme Committee Member for AAAI 2008, ECAI 2008, CP 2008 (Applications Track), CPAIOR 2008 , LaSh 2008, PlanSig 2008, SGAI 2008. Previous events I have been involved with are also available. I am a member of the Editorial Board of the Constraints Journal and an Area Editor for Constraint Programming Letters.

Professional Societies. I am also a member of:
AAAI Association for the Advancement of Artificial Intelligence
ACM - Association of Computing Machinery
IEEE and IEEE Computer Society - Institute of Electrical and Electronic Engineers
ECCAI - European Coordinating Committee for Artificial Intelligence