![Yaxin Cao](https://cdn.zonebourse.com/static/resize/768/576//static/images/insiders/unknown.png)
Yaxin Cao active positions
Companies | Position | Start | End |
---|---|---|---|
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. | Chief Operating Officer | 2021-03-31 | - |
Career history of Yaxin Cao
Statistics
International
United States | 2 |
Operational
Chief Operating Officer | 1 |
Sectoral
Technology Services | 2 |
Positions held
Active
Inactive
Listed companies
Private companies
Linked companies
Private companies | 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 |
- Stock Market
- Insiders
- Yaxin Cao
- Experience