SNon-profit · founded 1946SRI InternationalMenlo Park, United States · sri.comFollowManage this pageCitations, last 5 years9 950Works, last 5 years1 402h-index502Scientists listed0Grants since 2016608OverviewPeople 0Grants 608Departments 0Strongest research topicsLogic, programming, and type systems1,019Computer ScienceIonosphere and magnetosphere dynamics929Physics and AstronomyAtomic and Molecular Physics897Physics and AstronomyFormal Methods in Verification806Computer ScienceSpeech Recognition and Synthesis648Computer ScienceLogic, Reasoning, and Knowledge585Computer Science