Rong Hui Gu
Directeur Général chez Certified Kernel Tech LLC
Profil
Rong Hui Gu is the founder and CEO of Certified Kernel Tech LLC since 2017.
He is also the founder of Certik Foundation Ltd.
Currently, he holds the position of Director at CertiK Global Ltd.
Postes actifs de Rong Hui Gu
| Sociétés | Poste | Début |
|---|---|---|
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. | Directeur Général | 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. | Directeur/Membre du Conseil | - |
Anciens postes connus de Rong Hui Gu
| Sociétés | Poste | Fin |
|---|---|---|
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. | Fondateur | - |
Expériences
Fonctions occupées
Relations
Relations au 1er degré
Entreprises liées au 1er degré
Homme
Femme
Administrateurs
Exécutifs
Sociétés liées
| Entreprise privées | 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 |
