Cordell C. Green

Reasoning LLC provides software development solutions. It develops enterprise applications, operating systems, and embedded applications, which include telecom and aviation controls and medical devices. The company was founded by John Anton in 1984 and is headquartered in Raleigh, NC.

The Software Revolution, Inc. provides automated legacy software system modernization services. It offers JANUS Studio an advanced tool framework for software assessment, documentation, transformation, re-factoring and web-enablement.. The company was founded by Philip H. Newcomb in 1995 and is headquartered in Kirkland, WA.

Kestrel Institute operates as a non-profit computer science research center. It specializes in program synthesis, software engineering, machine intelligence, knowledge-base management, logic, automated reasoning systems, software environments, programming languages and compilers. The company was founded in 1981 and is headquartered in Palo Alto, CA.

Northern Star Holdings, Inc. manufactures equipment enclosures and control and relay panels. It designs and produces turnkey control systems that are involved in the protection and control of transmission and distribution assets uses in transport. The firm also offers Outdoor Enclosures and Engineering Services. The company was founded in 1962 and is headquartered in Iron Mountain, MI.

SRI International provides contract research and development services. It is an independent, nonprofit research institute conducting client-sponsored research and development for government agencies, commercial businesses, foundations, and other organizations. The company was founded in 1946 and is headquartered in Menlo Park, CA.

Springer Science+Business Media LLC publishes scientific books and periodicals. The firm publishes books and journals in the field of science, medicine, business, engineering, architecture, construction, and transport. The company was founded in 1964 and is headquartered in New York, NY.

Association for Computing Machinery, Inc. provides educational and scientific computing services. It offers journals & magazines, conferences, workshops, electronic forums, and online books & courses. The company has office in China. Association for Computing Machinery was founded on September 15, 1947 and is headquartered in New York, NY.

Kestrel Development Co. provides real estate services. The company designs and constructs zero energy homes. The company was founded in 1986 and is headquartered in Palo Alto, CA.