![Yaxin Cao](https://cdn.zonebourse.com/static/resize/768/576//static/images/insiders/unknown.png)
Profil
Yaxin Cao has a current job as the Chief Operating Officer at Certified Kernel Tech LLC.
Postes actifs de Yaxin Cao
Sociétés | Poste | Début |
---|---|---|
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. | Directeur des opérations | 01/04/2021 |
Expériences
Fonctions occupées
Relations
Relations au 1er degré
Entreprises liées au 1er degré
Homme
Femme
Administrateurs
Exécutifs
Sociétés liées
Entreprise privées | 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 |