His professional expertise includes research and development in the areas of static program analysis, managed language runtimes, logic databases, cluster management, and music technology. Benton holds a PhD in computer sciences from the University of Wisconsin.