A view from Redmond

Parallel programming, concurrency bugs, and commentary.

Blog - About

About A view from Redmond

Robert is currently a Program Manager at Microsoft in the Parallel Computing Platform group.  He is responsible for correctness tools.

Robert received his Ph.D. in Computer Science from the University of Utah.  His interests are in concurrent program verification, formal verificaiton technologies, and HPC.

Page 1 of 1 (3 items)