![Yaxin Cao](https://cdn.zonebourse.com/static/resize/768/576//static/images/insiders/unknown.png)
Active connections
Name | Gender | Age | Linked companies | Collaboration |
---|---|---|---|---|
Rong Hui Gu | M | - |
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. | 7 years |
Daryl Hok | M | - |
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. | 6 years |
Connections Chart
Multi-company connection
Statistics
Country | Connections | % of total |
---|---|---|
United States | 2 | 100.00% |
Age of Connections
Active
Past
Male
Female
Members of the board
Executives
Origin of connections
- Stock Market
- Insiders
- Yaxin Cao
- Personal Network