PL / compilers has a lot to do with logic and formal reasoning, so I wouldn't be surprised if he's interested in applying that to other domains. Merging DL with

PL / compilers has a lot to do with logic and formal reasoning, so I wouldn't be surprised if he's interested in applying that to other domains. Merging DL with more traditional reasoning frameworks is an interesting question I know a few people have tried attacking. Of course, that's just speculation.