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