Douglas R. Smith

Director Técnico/Científico/I+D en Kestrel Institute .

Consumer Services

Technology Services

Commercial Services

Perfil

Douglas R.
Smith is currently a Principal Scientist at Kestrel Institute.
Previously, he was the President of Kestrel Technology Corp.
and a Principal at Stanford University.
He earned his doctorate degree from Duke University in 1979.

Cargos activos de Douglas R. Smith

Empresas	Cargo	Inicio
Kestrel Institute Kestrel Institute Miscellaneous Commercial ServicesCommercial Services 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.	Director Técnico/Científico/I+D	-

Todos los cargos activos de Douglas R. Smith

Antiguos cargos conocidos de Douglas R. Smith.

Empresas	Cargo	Fin
Stanford University	Corporate Officer/Principal	01/01/2000
Kestrel Technology Corp. Kestrel Technology Corp. Information Technology ServicesTechnology Services 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.	Presidente	-

Ver el detalle de la experiencia de Douglas R. Smith.

Formación de Douglas R. Smith.

Duke University

Doctorate Degree

Experiencias
Funciones ocupadas

Activas

Inactivas

Empresas cotizadas

Empresas privadas

Ver el detalle de la experiencia de Douglas R. Smith.

Relaciones

100 +

Relaciones de 1er grado

Empresas vinculadas al 1er grado

Hombre

Mujer

Administradores

Ejecutivos

Consultar la red personal

Empresas relacionadas

Empresas privadas	2
Kestrel Technology Corp. Kestrel Technology Corp. Information Technology ServicesTechnology Services 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.	Technology Services
Kestrel Institute Kestrel Institute Miscellaneous Commercial ServicesCommercial Services 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.	Commercial Services