[ZanyProgrammer]

IIRC basically a Pentagon funded think tank in Silicon Valley, though their best days were really the 1970s and 1980s.

[VagueMag]

Yeah 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]

If that is true it gives me the kind of background I was looking for.

[Animats]

Yes. 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.