Applied research and advanced development in asynchronous and high-speed circuits, optical interconnects, third-generation web technologies, sensors, network scaling and Java technologies.
The Laboratoire Specification et Verification is the Computer Science laboratory of the École Normale Superieure de Cachan, with about twenty researchers, PhD students and post-docs on the themes of specification and verification.
The European Centre for Research and Advanced Training in Scientific Computation researches efficient algorithms for solving scientific problems. Information about research, seminars, and publications.