Robert van de Geijn — Computer Science & Eng. faculty at UT Austin. Research: Research Interests: Formal derivation of algorithms Mechanical generation of.