The Constraint Reasoning and Optimization group ... directions include exact approaches to solving machine learning related optimization problems and computational aspects of argumentation theory.

Concepts of world class design and manufacturing of modern products, including the issues of Design for Quality (DFQ), cost and the customer will be studied. Tools and techniques to be studied include ...

Constraint Logic Programming (CLP) systems can be used for formal software verification. In general, these systems provide untyped languages. Adding prescriptive type systems to CLP languages may help ...