Also, Craig Silverstein, 1993 ICPC winner and Google employee number one?

https://en.wikipedia.org/wiki/Craig_Silverstein

I know a guy who had won gold medal in International Olympiad in Informatics (for high schoolers) - he's now the CEO of Korea's largest food delivery company.

Vitalik Buterin did IOI I think and made Ethereum

Guy who made Quora did ICPC or IOI

GP probably deaf