It hosts fundamental research (algorithms and complexity, programming logics) as well a research for various application domains (computer graphics, geometric computation, constraint solving, computational biology).
Исследования охватывают как базовые области (алгоритмы и сложность, программную логику), так и различные области применения (компьютерная графика, вычислительная геометрия, вычислительная биология, компьютерное зрение).