Comment by vishnugupta

Looked around and they seem to be a company rather than an individual?

https://www.certik.com

One of its co-founders is a Yale professor

https://www.linkedin.com/in/zhong-shao-545b754/

One is at Columbia University

https://www.linkedin.com/in/guronghui/

Interesting!