Cargos activos de Yaxin Cao
| Empresas | Cargo | Inicio | Fin |
|---|---|---|---|
Certified Kernel Tech LLC
 Certified Kernel Tech LLC Packaged SoftwareTechnology Services Certified Kernel Tech LLC provides a verification framework to mathematically prove that smart contracts and blockchain ecosystems are bug-free and hacker-resistant. It has developed modular verification techniques to break down the formidable proof task into smaller ones that can subsequently solve automatically in a more decentralized way. The company was founded in December 2017 by Zhong Shao and Ronghui Gu and is headquartered in New York, NY. | Director de Operaciones | 01/04/2021 | - |
Historial de carrera de Yaxin Cao
Estadísticas
Internacional
| Estados Unidos | 2 |
Operativa
| Chief Operating Officer | 1 |
Sectorial
| Technology Services | 2 |
Funciones ocupadas
Activas
Inactivas
Empresas cotizadas
Empresas privadas
Empresas relacionadas
| Empresas privadas | 1 |
|---|---|
Certified Kernel Tech LLC
Certified Kernel Tech LLC Packaged SoftwareTechnology Services Certified Kernel Tech LLC provides a verification framework to mathematically prove that smart contracts and blockchain ecosystems are bug-free and hacker-resistant. It has developed modular verification techniques to break down the formidable proof task into smaller ones that can subsequently solve automatically in a more decentralized way. The company was founded in December 2017 by Zhong Shao and Ronghui Gu and is headquartered in New York, NY. | Technology Services |
- Bolsa de valores
- Insiders
- Yaxin Cao
- Experiencia
