Researchers at ORCCA study algorithms and software systems for symbolic mathematical computation. At any given time a number of visitors and postdocs are hosted. http://www.orcca.on.ca/
Perform research and development such as VLSI design, verification technology, storage subsystems, computer systems, programming languages and environments, advanced applications, multimedia and service technologies. http://www.haifa.il.ibm.com/
Research and development of high performance computing technologies, device modeling, nanotechnology, and scientific visualization. Information about research and publications. http://www.nas.nasa.gov/