Cork Constraint Computation Centre, University College Cork
Home
Contact 4C
Advisory Board
Collaborators
Constraint Applications Blog
Constraints Archive
Constraints Journal
CTVR
Distinguished Papers
Grants
Industry Associates Programme
Jobs
Media Coverage
News
Newsletter
Numberjack
Outreach
People
Posters
Publications
Research
Resources
Seminars
Sponsors
Sponsors
Visitors
Visitor Information
Retrieve Form Data

 

Researchers Visiting in the Coming Months ...

 
 
 

Currently Visiting 4C...

 
 
 

Past Visitors ...

Marco Collautti University of Padua (Università degli Studi di Padova) (bio)
Giovanni Di Liberto University of Padua (Università degli Studi di Padova) (bio)
Simon de Givry Unité de Biométrie et d'Intelligence Artificielle INRA (bio)
Petra Hofstedt Brandenburg University of Technology Cottbus Cooperating Constraint Solvers
Declarative Languages
(bio)
Denny Schneeweiss Berlin University of Technology (bio)
Vivien Rooney School of Applied Psychology, University College Cork (bio)
Laura Climent Departamento de Sistemas Informáticos y Computación (bio)
Farshid Hassani Bijarbooneh Department of Information Technology Uppsala University (bio)
Robert Woodward University of Nebraska-Lincoln (bio)
Milan de Cauwer University of Nantes (bio)
Lara Quijano Sánchez Complutense University of Madrid (bio)
Tias Guns KU Leuven (bio)
Massimiliano Cattafi University of Ferrara (bio)
Nicolas Beldiceanu Ecole des Mines de Nantes (bio)
Robert Woodward University of Nebraska-Lincoln (bio)
Shant Karakashian University of Nebraska-Lincoln (bio)
Javier Murillo University of Girona (bio)
Víctor Muñoz University of Girona (bio)
Paola Campli University G.d' Annunzio (bio)
Nicolas Beldiceanu Ecole des Mines de Nantes (bio)
Jacopo Mauro University of Bologna Constraint Programming
Constraint Handling Rules (CHR)
Concurrent Languages
(bio)
Susan Epstein Hunter College, City University of New York Problem Solving
Machine Learning
Cognitive Modeling (FORR)
Knowledge Representation
(bio)
Marc Pouly University of Fribourg Valuation Algebra and Local Computation
NENOK: A generic Architecture for Local Computation
Fixpoint Formalisms and Generic Constructions
(bio)
Emanuele Di Rosa STAR Lab - DIST - University of Genoa (bio)
Barbara Smith University of Leeds constraint satisfaction problems and how to solve them
modelling problems in constraint programming
practical applications of constraint programming, especially to scheduling.
(bio)
Beth Goldstein University of Kentuky - College of Education (bio)
Raphael Finkel University of Kentucky (bio)
Robin Burke College of Computing and Digital Media, DePaul University, Chicago Case-based reasoning and User modeling
Collaborative filtering and Intelligent information access
Intelligent agents and Applications of case-based reasoning
Recommender systems
Security and robustness of recommender systems
Temporal properties of recommender systems
(bio)
Wheeler Ruml University of New Hampshire (bio)
Daniel Marx Budapest University of Technology and Economics parameterized complexity
constraint satisfaction problems
graph coloring
algorithmic graph theory
combinatorial optimization & computational complexity
(bio)
David Aha Naval Research Laboratory, Washington D.C. Case-based reasoning (CBR)
Knowledge extraction (e.g., from text documents)
Machine learning (e.g., statistical relational learning, instance-based learning)
Knowledge management (e.g., intelligent lessons learned systems)
AI and simulation (e.g., complex games, training simulators)
(bio)
Mike Trick Carnegie Mellon University Social Capital and Operations Research
Modeling Issues
Constraint Programming
Scheduling and Network Flows
Stochastic dynamic programming
(bio)
Narendra Jussien cole des Mines de Nantes (bio)
Guillaume Rochart e-lab, Bouygues (bio)
Charles PrudHomme Ecole des Mines de Nantes (bio)
Francois Laburthe Amadeus (bio)
Ines Lynce IST/INESC-ID (bio)
Brent Venable University of Padova Preferences
Soft and uncertain constraints
Temporal reasoning
(bio)
Francesca Rossi University of Padova Constraint solving
Constraint Programming
Soft Constraints
Logic Programming
(bio)
John Hooker Carnegie Mellon University A Framework for Combining Solution Methods
(bio)
Eugenia Furems Institute for System Analysis (ISA) of the Russian Academy of Sciences Multicriteria Decision Making
Decision Support Systems
Multiattribute Classification
Knowledge Acquisition
Combinatorial Optimization
(bio)
Francesco Santini IMT Lucca Institute for Advanced Studies (bio)
J. Christopher Beck University of Toronto (bio)
Mark Wallace Monash University, Australia CSP Modelling
ECLiPSe
(bio)
Helene Fargier Toulouse Research Institute in Computer Science (IRIT-CNRS) Decision under uncertainty
Reasoning under uncertainty and/or inconsistency
Preference representation
Constraint Satisfaction Problems
Configuration , Scheduling and Production Planning
(bio)
Simon de Givry Unité de Biométrie et d'Intelligence Artificielle INRA (bio)
Barbara Smith University of Leeds constraint satisfaction problems and how to solve them
modelling problems in constraint programming
practical applications of constraint programming, especially to scheduling.
(bio)
Peter Tiedemann IT University of Copenhagen Interactive Configuration and decision support
Compilation of constraint problems
Using constraint compilation techniques in search
(bio)
Esben Rune Hansen The IT University of Copenhagen (bio)
Jim Duggan NUI Galway (bio)
Alessandro Sperduti University of Pisa Neural Networks
Hybrid Systems
Pattern Recognition
(bio)
Francesca Rossi University of Padova Constraint solving
Constraint Programming
Soft Constraints
Logic Programming
(bio)
Brian Williams Massachusetts Institute of Technology (MIT) Cooperative and space robotics
Applications include deep space explorers, distributed satellites,
Model-based Autonomy
Model-based programming and cooperative robotics
Intelligent embedded systems/Model-based programming/data-driven exploratory modeling/hybrid system
(bio)
Tracy Anne Hammond Texas A&M University perception, cognitive behavior
computer human interaction, artificial intelligence, concept learning
computer graphics
the gender gap in computer science
sketch recognition
(bio)
Roman Bartak Charles University constraints
logic programming
artificial intelligence
(bio)
Judy Goldsmith University of Kentucky decision-theoretic planning
preferences
knowledge elicitation
knowledge-based model construction
dancing
(bio)
Glen Murphy Oregon State University Harvesting system productivity
economic evaluation of environmental impacts caused by harvesting
value recovery
supply chain management
(bio)
Pascal Van Hentenryck Brown University (bio)
Helmut Simonis CrossCore (bio)
Leonid Ioffe Technical University of Berlin (bio)
Hubie Chen Universitat Pompeu Fabra, Spain (bio)
Susan Epstein Hunter College, City University of New York Problem Solving
Machine Learning
Cognitive Modeling (FORR)
Knowledge Representation
(bio)
Daria Terekhov University of Toronto, Mechanical & Industrial Eng. (bio)
Antoine Desbordes Ecole de Mines de Nantes (bio)
Ashok Gupta Indian Institute of Technology Kharagpur Software Engineering
Database Management Systems
Machine Learning
(bio)
Ramesh Bollapragada SFSU College of Business (bio)
Pablo Trinidad Universidad De Sevilla Software Product Lines
Feature Modelling and Debugging
Automated Reasoning
(bio)
Stuart Bain. Griffith University (bio)
Mats Petter Pettersson Lund University Constraint Satisfaction Problems
Planning
(bio)
Mathijs de Weerdt University of Delft (bio)
Nesim Erkip Bilkent University (bio)
Josef Vancza Hungarian Academy of Sciences Intelligent CAD
Artificial Intelligence in manufacturing planning domains
Genetic algorithms in in geometric designs
Multi-agent models of manufacturing control
Large-scale transaction processing
(bio)
Maria Fox University of Strathclyde- Glasgow teach an introductory course in Complexity Theory and advanced courses in Planning and Scientific M
(bio)
Simon de Givry Unité de Biométrie et d'Intelligence Artificielle INRA (bio)
Pascal Van Hentenryck Brown University (bio)
Helene Fargier Toulouse Research Institute in Computer Science (IRIT-CNRS) Decision under uncertainty
Reasoning under uncertainty and/or inconsistency
Preference representation
Constraint Satisfaction Problems
Configuration , Scheduling and Production Planning
(bio)
Helene Fargier Toulouse Research Institute in Computer Science (IRIT-CNRS) Decision under uncertainty
Reasoning under uncertainty and/or inconsistency
Preference representation
Constraint Satisfaction Problems
Configuration , Scheduling and Production Planning
(bio)
Jerome Lang IRIT/CNRS computational aspects of social choice;
preference representation and decision making;
logical models of agent interaction;
reasoning about belief and knowledge, belief change;
planning under partial observability
(bio)
Ryszard Michalski George Mason University Machine Learning
Data Mining and Knowledge Discovery
Inductive Databases and Knowledge Scouts
Non-Darwinian Evolutionary Computation
Plausible Reasoning
(bio)
J. Christopher Beck University of Toronto (bio)
Peter Jeavons Oxford University Algorithms and Computational Complexity
Peter is founder member of ConsNet - the network of UK constraint researchers supported by EPSRC
(bio)
Alan Bundy University of Edinburgh (bio)
Ines Lynce IST/INESC-ID (bio)
Derek Long University of Strathclyde- Glasgow My research interests lie in planning and problem solving.
(bio)
Maria Fox University of Strathclyde- Glasgow teach an introductory course in Complexity Theory and advanced courses in Planning and Scientific M
(bio)
David McSherry University of Ulster, Coleraine (bio)
Remi Coletta LIRMM Constraint Programming
Machine Learning
(bio)
Christian Bessiere LIRMM Constraint programming and over-constrained problems
(bio)
Chris Jefferson University of St. Andrews CP propagation methods
representation of abstract data structures for CP
group theory, complexity and software engineering
(bio)
Steven Tanimoto University of Washington computer analysis of images
educational technology
visual programming
artificial intelligence
(bio)
Les Proll Leeds University Computational and modelling aspects of mathematical programming
(bio)
Susan Epstein Hunter College, City University of New York Problem Solving
Machine Learning
Cognitive Modeling (FORR)
Knowledge Representation
(bio)
Berthe Y. Choueiry Department of Computer Science and Engineering, University of Nebraska-Lincoln constrained-based reasoning and constraint satisfaction
scheduling and resource allocation
complexity and graph theory
interactive and distributed problem-solving
abstraction, reformulation and approximation
(bio)
Jacob Feldman OpenRules, Inc. A hybrid use of rules and constraint programming for enterprise-level web applications.
(bio)
Gilles Pesant University of Montreal (bio)
J. Christopher Beck University of Toronto (bio)
Jean-Charles Regin Cornell University (bio)
Steven Minton University of Southern California (bio)
Ben Weiner University of Wisconsin-Madison (bio)
Ambrish Saxena Indian Institute of Technology Kanpur Combinatorial Optimization Algorithms
Artificial Agent programming
(bio)
David Benavides University of Seville Software Product Lines
Feature Modelling
Automated Reasoning
Configurators
Web Service Procurement.
(bio)
Roberto Rossi Universit degli Studi di Bologna, Facolt di Ingegneria - DEIS Artificial Intelligence
Constraint programming
(bio)
Refik Gll Bogazici University (bio)
Olga Tveretina Technical University of Eindhoven (bio)
Giorgio Giantommasi University of Bologna (bio)
Tomas Snckerstrm DIS, Uppsala University (bio)
Mathias Paulin LIRMM Constraint Programming
Machine Learning
(bio)
Remi Coletta LIRMM Constraint Programming
Machine Learning
(bio)
Christian Bessiere LIRMM Constraint programming and over-constrained problems
(bio)
Narendra Jussien cole des Mines de Nantes (bio)
Hadrien Cambazard cole des Mines de Nantes (bio)
Barak A. Pearlmutter Hamilton Institute, NUI Maynooth (bio)
Jeffrey Mark Siskind Purdue University AI
CogSci
NLP
machine vision; machine learning
programming languages & compilers
(bio)
J. Christopher Beck University of Toronto (bio)
Patrick Prosser Glasgow University 10 years of Conflict-directed Back Jumping
(bio)
Susan Epstein Hunter College, City University of New York Problem Solving
Machine Learning
Cognitive Modeling (FORR)
Knowledge Representation
(bio)
Rica Gonen The Hebrew University of Jerusalem Mechanism Design
Combinatorial Auctions & Markets
Online Algorithms & Computation
Approximation Algorithms & Game theory
(bio)
Remi Coletta LIRMM Constraint Programming
Machine Learning
(bio)
Christian Bessiere LIRMM Constraint programming and over-constrained problems
(bio)
Andrew J Page NUI Maynooth (bio)
Karen Petrie Huddersfield University (bio)
Armin Wolf Fraunhofer Institute FIRST (bio)
Richard Dearden University of California at Santa Cruz / NASA Ames Research Center (bio)
Eliezer L. Lozinskii The Hebrew University of Jerusalem, Israel Automated reasoning and Knowledge representation
Intelligent systems and Databases
Artificial Intelligence
Computer architecture
(bio)
Patrick Prosser Glasgow University 10 years of Conflict-directed Back Jumping
(bio)
Barbara Smith University of Leeds constraint satisfaction problems and how to solve them
modelling problems in constraint programming
practical applications of constraint programming, especially to scheduling.
(bio)
Paul Williams The London School of Economics Mathematical Programming Modelling
Methods of Allocating Shared Fixed Costs
Mathematical Programming Modelling
Methods of Allocating Shared Fixed Costs
Logical Linear + Integer Programming
Duality and Integer Programming
Fourier-Motzkin Elimination + Revenue (Yield )Management
(bio)
Stefano Bistarelli Istituto di Informatica e Telematica, C.N.R., Pisa, Italy Constraint Solving
Constraint Programming
Soft Constraints
Security
(bio)
Alasdair MacLeod University of the Highlands and Islands, Lews Castle College (bio)
Stefania Verachi University of Bologna (bio)
Julien Bidot Ecole Nationale d'Ingenieurs de Tarbes planning
scheduling
reasoning under uncertainty
constraint programming
(bio)
Christian Bessiere LIRMM Constraint programming and over-constrained problems
(bio)
Remi Coletta LIRMM Constraint Programming
Machine Learning
(bio)
Diego Moya Universidad Autnoma de Madrid Adaptive CSP solving
(bio)
Francesca Rossi University of Padova Constraint solving
Constraint Programming
Soft Constraints
Logic Programming
(bio)
Alessandro Sperduti University of Pisa Neural Networks
Hybrid Systems
Pattern Recognition
(bio)
Alexander Nareyek Carnegie Mellon University Artificial Intelligence ,Intelligent Agents
(bio)
Iver Bailly-Salins INSA Toulouse (bio)
Tomas Nordlander University of Aberdeen (bio)
Thomas Nagy Ecole des Mines de Nantes Constraints
Local search methods
(bio)
Prof Martin Charles Golumbic University of Haifa (bio)
Amnon Meisels Ben_Gurion University Distributed Constraint Networks; Distributed Search; Timetabling Problems;
(bio)
Derek Long University of Strathclyde- Glasgow My research interests lie in planning and problem solving.
(bio)
Jennifer J. Preece University of Maryland Online Communities
Empathy and trust
Participation and Lurking
Heuristics and tools for evaluating success
(bio)
Ben Shneiderman University of Maryland (bio)
Pearl Pu Ecole Polytechnique Fdrale de Lausanne intelligent user interfaces
preference elicitation in
information visualization
constraint satisfaction
(bio)
Julio Brito Universidad de la Laguna Framework modelling combinatorial problems
Constraint-based Language
Meta-heuristics
Heuristics
(bio)
Frederic Benhamou Universite de Nantes Decision support systems
constraint programming
interval constraints
(bio)
Laurent Zimmer Dassault Aviation, France Constraints
Conceptual Design
Model-based Reasoning
(bio)
Pedro Barahona New University of Lisbon Constraint Programming
Interval Constraints
Applications in Medicine
(bio)
John Hooker Carnegie Mellon University A Framework for Combining Solution Methods
(bio)
Nikola S. Nikolov University of Limerick EvoILP: Evolving Constraints for Integer Linear Programming Problems
(bio)
Nic Wilson Keele University Computation and foundations of uncertain reasoning
Logical and uncertainty formalisms for Geographic Information
Uncertainty and soft constraints
(bio)
Prof. Robert Kowalski Imperial College Logic in Cognitive Science and its Application to Game Theory and Conflict Resolution
(bio)
Pragnesh J. Modi University of Southern California. Multi-Agent Systems and Constraint Programming.
(bio)
Zeynep Kiziltan Uppsala University Constraints
(bio)
Christian Bessiere LIRMM Constraint programming and over-constrained problems
(bio)
Alan Frisch University of York Non-boolean satisfiability problems
Automatic generation of implied constraints
(bio)
APES group By lunchtime on wednesday we will have most of the APES group visiting.
They have scheduled a number of talks and a discussion session
(bio)
Manuela Moretti University of Padova, Italy Soft constraints in configuration problems
Explanations
(bio)
Maria Sole Franzin University of Padova, Italy Distributed multi-agent scheduling
Soft Constraints
(bio)
Magali Ruet Enit College, Tarbes, France. mixing case-based reasoning (CBR) and CSP
reuse of configuration experiences
(bio)
Mohammed H. Sqalli King Fahd University of Petroleum & Minerals Constraint Based Reasoning
Case Based Reasoning
Computer Networks
Data Communication
Diagnosis and Debugging
(bio)

© Cork Constraint Computation Centre, University College Cork.