![Yaxin Cao](https://cdn.zonebourse.com/static/resize/768/576//static/images/insiders/unknown.png)
Posizioni attive di Yaxin Cao
Società | Posizione | Inizio | Fine |
---|---|---|---|
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. | Direttore operativo | 01/04/2021 | - |
Storia della carriera di Yaxin Cao
Statistiche
Distribuzione geografica
Stati Uniti | 2 |
Posizioni
Chief Operating Officer | 1 |
Settori
Technology Services | 2 |
Posizioni ricoperte
Attive
Inattive
Società quotate in Borsa
Aziende private
Società collegate
Aziende private | 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 |
- Borsa valori
- Insiders
- Yaxin Cao
- Esperienza