Profiel
Yaxin Cao has a current job as the Chief Operating Officer at Certified Kernel Tech LLC.
Actieve functies van Yaxin Cao
| Bedrijven | Functie | Begin |
|---|---|---|
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. | Operationeel Directeur | 01-04-2021 |
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 | 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 |
