I’m just curious about developments or research that has been carried out mostly or totally with government funding whose results have been a boon to the private sector. The best example I can think of is the internet.
One caveat: unlike the internet, I’m interested in projects that weren’t paid for with defense funding.
One example: Intel and AMD now routinely use formal verification, in conjunction with pre-silicon testing, on their processor designs, after the Pentium fdiv disaster cost Intel $500 million to put right.
Intel uses HOL light, an interactive theorem prover, for their verification. HOL light’s developed in Cambridge, UK, and descends from other provers, notably Edinburgh LCF, all developed within the UK university system, through EPSRC (previously SERC) grants.
The overwhelming majority of research on computerized mathematics occurs within university departments, and industry is only now beginning to use it.
As far as I know, most research comes from public funding. There may be a few exceptions, but they are clearly exceptions. Research is an incredibly expensive process and a very poor investment for any company that is not large enough to be considered a government in and of itself. The failure rate for research is just too high. The more fundamental the research is, the higher the failure rate. Even the mega corporations are competing for public money to fund their research. The mega corporations are probably only competing for these grants because they are available and it would be poor business to ignore 4 million dollars, but the fact is they all take the money.
Of course, I am including defense funding. I have no idea why you would make that an exception. I think every other seminar I attended was funded by DARPA. You want more energy efficient displays? So does DARPA. You want longer lasting batteries? So does DARPA. You want alternative fuels? You want stronger and lighter polymers? You want better paint?
As far as I know, only third world countries don’t have public money dedicated to research.
Quality control. During WWII, the government was concerned about equipment failing in the field, since that could have dire consequences for everyone involved. So they hired a guy by the name of W. Edward Demmings to figure something out. He came up with the elements of quality control as we know them today. One outgrowth of that research (besides better products) were customer surveys to asses not only how well a given product performed, but improvements to the products and new products and technology customers would like to see!
Climate research is entirely funded by the government, as are most studies into reducing damage from weather.
Hybrid cars are another area, now that I think about it. The government built a prototype hybrid car in the late 1970s, and the government is presently funding research into things like battery technology as well as alternative fuels.
How about AI, which has spun off a reasonable amount of useful stuff. I’m pretty sure the work at MIT wasn’t defense funded. I suspect it was NSF. Multics, on the other hand, got its start from ONR funding.
Most of the basic work in electronic design automation came from a combination of funded university research and research in the big companies of the '70s and '80s, mostly IBM and Bell Labs. Most practical things are going to get picked up by industry before they are really working. It is often hard to draw boundaries.
The founders of Cisco developed their first router designs while working under DARPA funding at Stanford, then formed the company to make the things commercially.
Some of this is definitely true, but a few items mentioned here are dubious at best. In a lot oc cases, some government or another paiud for some research, but it never led anywhere or to anything useful, and other people wound up following completely different paths to making a useful product. In other cases, government may have started something but did it so badly that someone else took over and finished privately.