CAPP

CAPP is a team of the LIG (Laboratoire d’Informatique de Grenoble) devoted to theoretical computer science.

OurĀ  research topics belong to the domains of automated reasoning, quantum computing and the theoretical foundations of programming languages.

LIG INPG UJF CNRS