CAPP - Quantum and Classical Computation

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.