Author Intro: Robert Palmer


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

Comments (0)