Science of High-Performance Computing Group

Where the theory and practice of software meets hardware

The Science of High-Performance Computing group focuses on the computer science that underlies high-performance linear algebra libraries. Formal derivation techniques are employed to derive families of algorithms from which the best for a specific architecture or situation can be chosen. By carefully layering software, the resulting algorithms are implemented as highly portable, high-performance software libraries. This has yielded open source software that is widely used in academia, by the national labs, and by industry. The techniques are shared through outreach activities that include a number of Massive Open Online Courses.