Professor Gu is the Tang Family Assistant Professor of Computer Science at Columbia University and Co-Founder of CertiK.
The writer has or has previously had a business relationship with companies mentioned in this article.
Which companies mentioned has the author had a business relationship with before?