Research

Our main research interests cover the development and application of constraint-based programming languages and tools, constraint solving techniques, compiler construction and applications of machine learning.