Here's my CV [PDF version] and a professional biography I use for giving talks:
Joe Hurd is a Formal Methods Engineer at Galois, Inc. He completed a Ph.D. at Cambridge University on the formal verification of probabilistic programs, and his work since has included generating verified checkers from a formalized hardware property language; developing tactics using automatic proof techniques from first order logic; and creating the world's first formally verified chess endgame database.
Here's a personal biography:
The eldest of three brothers, I grew up in the Bath end of Somerset: a county in the south west of England. My first nine years were spent in the tiny village of Cranmore, and then my family moved to the nearby town of Frome. There I attended Frome College and took up chess to while away the lunchtimes. I completed my studies in Cambridge, and then worked for a time in the university Computer Laboratory while living in the village of Girton. I continued my research in Oxford, taking up go to while away the evenings, and then moved into industry in Portland, Oregon.
