He splits his focus between research into game formalization and analysis, and compiler and runtime optimization for concurrent languages. Verbrugge has a PhD in computer science from McGill University. Contact him at clump@cs.mcgill.ca.