Douglas R. Smith
Hoofd Techniek/Wetenschap/O&O bij Kestrel Institute
Profiel
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.
Actieve functies van Douglas R. Smith
| Bedrijven | Functie | Begin |
|---|---|---|
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. | Hoofd Techniek/Wetenschap/O&O | - |
Eerdere bekende functies van Douglas R. Smith
| Bedrijven | Functie | Einde |
|---|---|---|
| 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. | President | - |
Opleiding van Douglas R. Smith
| Duke University | Doctorate Degree |
Ervaring
Beklede functies
Actief
Inactief
Beursgenoteerde bedrijven
Bedrijven in privébezit
Connecties
Eerstegraads connecties
Bedrijven verbonden in de eerste graad
Man
Vrouw
Besturend
Uitvoerend
Verwante bedrijven
| Bedrijven in privébezit | 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 |
