Dusko Pavlovic

Kestrel Technology Corp. provides software development and research services. It specializes in sound static analysis with applications in software security, reliability, and robustness. The firm’s product is an automated and tunable static code analyzer proves the absence of memory vulnerabilities in C source code. The company was founded by Alessandro Coglio in 2000 and is headquartered in Palo Alto, CA.

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.

Argonne National Laboratory provides research and technology services. Its research areas include computer science, energy, environmental management, and industrial technology. The company was founded in 1946 and is headquartered in Lemont, IL.

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.

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.

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.

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.

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.

Duke University is an academic university that offers undergraduate, graduate and professional programs. It also has publications and research services. The university was founded in 1838 and is headquartered in Durham, NC.