Previously, he has done work on static analysis, miscellaneous programming language research, business web application development, and random programming.