Great summary. DARPA is very forward thinking. E.g. recently they funded PPAML, which helped probabilistic programming to take off.

I'm curious as I have a similar profile but I'm in Oxbridge, what top US universities have good CS departments interested in biomedicine?