Lyon, ENS - Computer Science Laboratory. Research areas include parallelism, networks and systems; automatic deduction; Architecture synthesis and computer arithmetic; and models of computation and complexity.
Help build the largest human-edited directory on the web.