# SRI International > American scientific research institute (founded 1946) **Wikidata**: [Q604924](https://www.wikidata.org/wiki/Q604924) **Wikipedia**: [English](https://en.wikipedia.org/wiki/SRI_International) **Source**: https://4ort.xyz/entity/sri-international Here is the structured knowledge entry for SRI International based on the provided source material: --- ## Summary SRI International is an American scientific research institute founded in 1946, originally known as the Stanford Research Institute. Located in Menlo Park, California, it is a nonprofit organization specializing in applied research across fields like computer science, artificial intelligence, cybersecurity, and advanced materials. SRI has played a pivotal role in developing foundational technologies such as the internet's domain name system (DNS) and the Paxos algorithm for distributed systems. --- ## Key Facts - Founded: 1946 (originally as Stanford Research Institute) - Location: Menlo Park, California, United States - Type: Nonprofit scientific research institute - Founder: Stanford University (originally) - Current CEO: Multiple leaders over time (e.g., Q8013529, Q5195702) - Employees: 2,100 (as of recent data) - Revenue: $540 million (as of recent data) - Website: http://www.sri.com/ - Key Technologies Developed: Domain Name System (DNS), Paxos algorithm, TLA+ (Temporal Logic of Actions), Griot System - Notable Personnel: William F. Miller, Elizabeth J. Feinler, Joseph Amadee Goguen, Douglas Crockford, Leslie Lamport - Affiliated with: Stanford University, PARC (Palo Alto Research Center), NASA, DARPA, Department of Defense - Owned/Operated by: SRI International (independent nonprofit) - Created/Developed by: SRI International (e.g., oNLine System, Stanford Dish) --- ## FAQs ### Q: What is SRI International known for? A: SRI International is renowned for pioneering technologies like the domain name system (DNS), the Paxos algorithm for distributed systems, and the TLA+ formal specification language. It has also developed the Griot System for interactive multimedia and contributed to early internet infrastructure. ### Q: Where is SRI International located? A: SRI International is headquartered in Menlo Park, California, United States. ### Q: Who founded SRI International? A: SRI International was originally founded as the Stanford Research Institute by Stanford University in 1946. ### Q: What types of research does SRI International conduct? A: SRI International conducts applied research in fields such as computer science, artificial intelligence, cybersecurity, advanced materials, and space exploration. ### Q: What is the Griot System? A: The Griot System is a computer program developed by Joseph Amadee Goguen at SRI International in 2005, designed to generate interactive multimedia events. It has been influential in multimedia computing and interactive storytelling. ### Q: What is the Paxos algorithm? A: The Paxos algorithm is a consensus protocol developed by Leslie Lamport at SRI International in 1990. It is critical for ensuring agreement in distributed systems, influencing technologies like blockchain and cloud computing. ### Q: What is TLA+? A: TLA+ is a formal specification language created by Leslie Lamport at SRI International in 1999. It is used for modeling and verifying concurrent systems, becoming a standard tool in academia and industry. --- ## Why It Matters SRI International has been instrumental in shaping modern computing and internet infrastructure. Its development of the domain name system (DNS) standardized domain names, making the internet more accessible. The Paxos algorithm, created by Leslie Lamport, ensures agreement in distributed systems, critical for technologies like blockchain and cloud computing. SRI’s work in formal methods, such as TLA+, has provided rigorous frameworks for software engineering. The Griot System, developed by Joseph Amadee Goguen, has influenced multimedia computing and interactive storytelling. SRI’s contributions have had a profound impact on computer science, particularly in distributed systems and formal methods, ensuring the reliability and scalability of modern computing infrastructure. --- ## Notable For - Pioneering the domain name system (DNS), a cornerstone of internet infrastructure. - Developing the Paxos algorithm, a consensus protocol for distributed systems. - Creating TLA+, a formal specification language for concurrent systems. - Developing the Griot System for interactive multimedia events. - Conducting applied research in computer science, artificial intelligence, and cybersecurity. - Collaborating with prestigious institutions like Stanford University, PARC, NASA, and DARPA. - Employing influential researchers like William F. Miller, Elizabeth J. Feinler, Joseph Amadee Goguen, Douglas Crockford, and Leslie Lamport. --- ## Body ### History and Founding SRI International was founded in 1946 as the Stanford Research Institute by Stanford University. It was originally established to conduct applied research in support of the military and space programs. Over time, it evolved into an independent nonprofit organization specializing in scientific research and development. ### Location and Headquarters SRI International is headquartered in Menlo Park, California, United States. The headquarters is located at Q74195, which is the address for SRI International. ### Research and Development SRI International conducts applied research in various fields, including computer science, artificial intelligence, cybersecurity, advanced materials, and space exploration. The institute has developed several influential technologies, including the domain name system (DNS), the Paxos algorithm, and the TLA+ formal specification language. ### Key Technologies Developed #### Domain Name System (DNS) SRI International played a crucial role in the development of the domain name system (DNS), which standardized domain names and made the internet more accessible. Elizabeth J. Feinler, a researcher at SRI, was instrumental in the establishment of DNS. #### Paxos Algorithm Leslie Lamport, a computer scientist at SRI International, developed the Paxos algorithm in 1990. The algorithm is a consensus protocol that ensures agreement in distributed systems, influencing technologies like blockchain and cloud computing. #### TLA+ Formal Specification Language Leslie Lamport also created TLA+ in 1999, a formal specification language for modeling and verifying concurrent systems. TLA+ has become a standard tool in academia and industry for rigorous software engineering. #### Griot System Joseph Amadee Goguen, a computer scientist at SRI International, developed the Griot System in 2005. The Griot System is a computer program designed to generate interactive multimedia events, influencing multimedia computing and interactive storytelling. ### Notable Personnel SRI International has employed several influential researchers, including: - **William F. Miller**: A computer scientist, university teacher, academic administrator, and business executive. He served as a professor and former CEO and was a member of the National Academy of Engineering and the American Academy of Arts and Sciences. - **Elizabeth J. Feinler**: An information scientist and computer scientist known for her contributions to the development of the domain name system (DNS). - **Joseph Amadee Goguen**: A computer scientist known for his work in algebraic specification, formal methods, and the development of the Griot System. - **Douglas Crockford**: A computer programmer and software developer known for popularizing JSON and advancing JavaScript best practices. - **Leslie Lamport**: A computer scientist known for developing TLA+ and the Paxos algorithm, which are foundational to distributed computing and consensus protocols. ### Affiliations and Collaborations SRI International has collaborated with several prestigious institutions, including: - **Stanford University**: The original founder of SRI International. - **PARC (Palo Alto Research Center)**: A research and development company known for pioneering foundational technologies in personal computing. - **NASA**: The National Aeronautics and Space Administration, which has collaborated with SRI on space exploration projects. - **DARPA**: The Defense Advanced Research Projects Agency, which has funded SRI’s research in advanced technologies. - **Department of Defense**: The U.S. Department of Defense, which has supported SRI’s work in cybersecurity and other defense-related fields. ### Owned/Operated by SRI International SRI International has owned or operated several facilities and projects, including: - **Sondrestrom Upper Atmospheric Research Facility**: A research facility in western Greenland. - **Arecibo Observatory**: An observatory located in the municipality of Arecibo, Puerto Rico. - **Arecibo Radio Telescope**: A former radio telescope in the municipality of Arecibo, Puerto Rico. - **Stanford Dish (Stanford Radio Telescope)**: A radio telescope in California. ### Created/Developed by SRI International SRI International has created or developed several influential technologies and systems, including: - **oNLine System**: A 1960s computer collaboration system developed by SRI International. - **Domain Name System (DNS)**: A system developed by SRI International to standardize domain names and make the internet more accessible. - **Paxos Algorithm**: A consensus protocol developed by Leslie Lamport at SRI International to ensure agreement in distributed systems. - **TLA+ Formal Specification Language**: A formal specification language developed by Leslie Lamport at SRI International for modeling and verifying concurrent systems. - **Griot System**: A computer program developed by Joseph Amadee Goguen at SRI International for generating interactive multimedia events. ### Legacy and Impact SRI International has had a profound impact on computer science, particularly in distributed systems and formal methods. Its contributions have shaped modern computing infrastructure, ensuring reliability and scalability in distributed environments. The institute’s work has influenced technologies like blockchain, cloud computing, and multimedia applications, making it a pivotal institution in the field of scientific research and development. --- ## References 1. [GRID](https://www.grid.ac/institutes/grid.98913.3a) 2. Global LEI Index 3. [Source](https://www.sri.com/about/people/william-jeffrey) 4. [Source](https://www.nae.edu/147583/Curtis-Carlson) 5. [Source](https://www.sri.com/about/corporate-history) 6. GRID Release 2017-01-10 7. Virtual International Authority File 8. BnF authorities 9. CiNii Research 10. Freebase Data Dumps. 2013 11. GeoNames 12. [Source](https://www.sri.com/) 13. [Source](http://km.aifb.kit.edu/services/crunchbase/) 14. GRID Release 2015-12-14 15. GRID Release 2016-12-06 16. Quora 17. Aligned ISNI and Ringgold identifiers for institutions 18. [Source](https://ftp.arin.net/pub/resource_registry_service/asns.csv) 19. Microsoft Academic Knowledge Graph 20. National Library of Israel Names and Subjects Authority File 21. [OpenAlex](https://docs.openalex.org/download-snapshot/snapshot-data-format)