Computer Science Laboratory. Research areas include parallelism, networks and systems; automatic deduction; Architecture synthesis and computer arithmetic; and models of computation and complexity.

French National Institute for Research in Computer Science and Control. Research areas include parallel and distributed computing, software safety and reliability, multimedia, and analysis, simulatio

Computer Science Department. Research areas include combinatorics, algorithmics, logic, automata, parallel computing, symbolic programming, and graphics.