Skip to content

Non-profit · founded 1996

SRI

Bayport, United States · srinc.biz

Manage this page

Citations, last 5 years: 39
Works, last 5 years: 8
h-index: 22
Scientists listed: 0
Grants since 2016: 0

Strongest research topics

Logic, programming, and type systems10Computer Science
Formal Methods in Verification8Computer Science
Logic, Reasoning, and Knowledge5Computer Science
Security and Verification in Computing5Computer Science
Advanced Malware Detection Techniques4Computer Science
Access Control and Trust3Social Sciences