En el INRIA se realiza investigación tanto teórica como práctica en computación.