I am currently the Program Manager for parallel correctness tools in the Parallel Computing Platform team at Microsoft. My interests span formal verification and HPC. Before working at Microsoft, I was a researcher in validation in the Corporate Technology Group at Intel. I received my BS and Ph.D. degrees in Computer Science from the University of Utah.
Robert Palmer - Parallel Computing Platform