David R. Hanson is a software engineer who worked at Google until he retired in January 2012, working in programming languages, compilers, software tools, and programming environments.