Comment by exdsq

I think realistically the biggest source of research money is from blockchain projects as so many use formal methods nowadays, and have done for a couple years