Research into future programming languages, particularly into dependent types and future development environments. A relatively small amount of money can have tremendous positive impact on the world in this area.