Rong Hui Gu
Algemeen Directeur bij Certified Kernel Tech LLC
Profiel
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.
Actieve functies van Rong Hui Gu
| Bedrijven | Functie | Begin |
|---|---|---|
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. | Algemeen Directeur | 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/Bestuurslid | - |
Eerdere bekende functies van Rong Hui Gu
| Bedrijven | Functie | Einde |
|---|---|---|
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. | Oprichter | - |
Ervaring
Beklede functies
Actief
Inactief
Beursgenoteerde bedrijven
Bedrijven in privébezit
Connecties
Eerstegraads connecties
Bedrijven verbonden in de eerste graad
Man
Vrouw
Besturend
Uitvoerend
Verwante bedrijven
| Bedrijven in privébezit | 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 |
