![Yaxin Cao](https://cdn.zonebourse.com/static/resize/768/576//static/images/insiders/unknown.png)
Aktive Positionen von Yaxin Cao
Unternehmen | Position | Beginn | Ende |
---|---|---|---|
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. | Geschäftsführer | 01.04.2021 | - |
Karriereverlauf von Yaxin Cao
Statistik
International
Vereinigte Staaten | 2 |
Operativ
Chief Operating Officer | 1 |
Sektoral
Technology Services | 2 |
Besetzte Positionen
Aktive
Inaktive
Börsennotierte Unternehmen
Private Unternehmen
Unternehmensverbindungen
Private Unternehmen | 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 |