Remarque
L’accès à cette page nécessite une autorisation. Vous pouvez essayer de vous connecter ou de modifier des répertoires.
L’accès à cette page nécessite une autorisation. Vous pouvez essayer de modifier des répertoires.
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