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