Rong Hui Gu

Chief Executive Officer at Certified Kernel Tech LLC

Technology Services

Commercial Services

Profile

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.

Rong Hui Gu active positions

Companies	Position	Start
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 Executive Officer	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.	Director/Board Member	-

All active positions of Rong Hui Gu

Former positions of Rong Hui Gu

Companies	Position	End
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.	Founder	-

See the detail of Rong Hui Gu's experience

Experiences
Positions held

Active

Inactive

Listed companies

Private companies

See the detail of Rong Hui Gu's experience

Connections

1st degree connections

1st degree companies

Male

Female

Members of the board

Executives

See the personal network

Linked companies

Private companies	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

See company connections