6 ms·
IIRC basically a Pentagon funded think tank in Silicon Valley, though their best days were really the 1970s and 1980s.
by ZanyProgrammer 3y ago
IIRC basically a Pentagon funded think tank in Silicon Valley, though their best days were really the 1970s and 1980s.
- VagueMag 3y agoYeah SRI was what emerged when military/intelligence related work needed to be separated from Stanford University proper as a result of campus protests in the 60s over the university's involvement in chemical weapons and counterinsurgency research.
- usr1106 3y agoIf that is true it gives me the kind of background I was looking for.
- Animats 3y agoYes. I dealt with them a lot in my aerospace days. Boyer and Moore used to work there. I used their theorem prover for early proof of correctness work.