Rong Hui Gu
Vorstandsvorsitzender bei Certified Kernel Tech LLC
Aktive Positionen von Rong Hui Gu
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. | Vorstandsvorsitzender | 01.12.2017 | - |
Gründer | 01.12.2017 | - | |
CertiK Global Ltd.
CertiK Global Ltd. Information Technology ServicesTechnology Services Certik Global Ltd. operates as a blockchain security company. The company is headquartered in New York, NY. | Direktor/Vorstandsmitglied | - | - |
Karriereverlauf von Rong Hui Gu
Ehemalige bekannte Positionen von Rong Hui Gu
Unternehmen | Position | Beginn | Ende |
---|---|---|---|
Certik Foundation Ltd.
Certik Foundation Ltd. Miscellaneous Commercial ServicesCommercial Services Certik Foundation Ltd. operates as a non-profit organization which provides formal verification platform for smart contracts and blockchain ecosystems. The company was founded by Ronghui Gu and Zhong Shao and is headquartered in Singapore. | Gründer | - | - |
Statistik
International
Vereinigte Staaten | 3 |
Singapur | 2 |
Operativ
Founder | 2 |
Chief Executive Officer | 1 |
Director/Board Member | 1 |
Sektoral
Technology Services | 3 |
Commercial Services | 2 |
Besetzte Positionen
Aktive
Inaktive
Börsennotierte Unternehmen
Private Unternehmen
Unternehmensverbindungen
Private Unternehmen | 3 |
---|---|
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 |
CertiK Global Ltd.
CertiK Global Ltd. Information Technology ServicesTechnology Services Certik Global Ltd. operates as a blockchain security company. The company is headquartered in New York, NY. | Technology Services |
Certik Foundation Ltd.
Certik Foundation Ltd. Miscellaneous Commercial ServicesCommercial Services Certik Foundation Ltd. operates as a non-profit organization which provides formal verification platform for smart contracts and blockchain ecosystems. The company was founded by Ronghui Gu and Zhong Shao and is headquartered in Singapore. | Commercial Services |
- Börse
- Insiders
- Rong Hui Gu
- Erfahrung