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.
CAPP - Quantum and Classical Computation