![Douglas R. Smith](https://cdn.zonebourse.com/static/resize/768/576//static/images/insiders/unknown.png)
Douglas R. Smith
Directeur Technique/Scientifique/R&D chez Kestrel Institute
Postes actifs de Douglas R. Smith
Sociétés | Poste | Début | Fin |
---|---|---|---|
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. | Directeur Technique/Scientifique/R&D | - | - |
Historique de carrière de Douglas R. Smith
Anciens postes connus de Douglas R. Smith
Sociétés | Poste | Début | Fin |
---|---|---|---|
Stanford University | Corporate Officer/Principal | 01/01/2000 | 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 | - | - |
Formation de Douglas R. Smith
Duke University | Doctorate Degree |
Statistiques
Internationale
Etats-Unis | 5 |
Opérationnelle
President | 1 |
Chief Tech/Sci/R&D Officer | 1 |
Corporate Officer/Principal | 1 |
Sectorielle
Consumer Services | 3 |
Technology Services | 2 |
Commercial Services | 2 |
Fonctions occupées
Actives
Inactives
Sociétés cotées
Entreprise privées
Sociétés liées
Entreprise privées | 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 |
- Bourse
- Insiders
- Douglas R. Smith
- Expérience