Robert Van De Geijn
Job Title
Research Interests

Formal derivation of algorithms, mechanical generation of libraries, numerical analysis, parallel supercomputing, scientific computing, high-performance linear algebra libraries.