
I joined Google in 2005. While at Google I've worked in the following areas:
To help continue bringing in new talent, I have also been fairly involved in the engineering hiring process.
I received an M.Sc. in Mathematics and the Foundations of Computer Science from Oxford University, working with Joel Ouaknine in the area of Software Model Checking. Prior to joining Google I was deeply involved in the FreeBSD operating system, and was the primary release engineer for the FreeBSD 4.x releases.
Using a Market Economy to Provision Compute Resources Across Planet-wide Clusters, Murray Stokely, Jim Winget, Ed Keyes, Carrie Grimes, Benjamin Yolken, Proceedings for the International Parallel and Distributed Processing Symposium 2009 (to appear).
Parallel Assignments in Software Model Checking, Murray Stokely, Sagar Chaki, Joel Ouaknine, Electr. Notes Theor. Comput. Sci., vol. 157 (2006), pp. 77-94.