| Name | Title | Contact Details |
|---|
Artificial intelligence could be one of humanity’s most useful inventions. We research and build safe AI systems that learn how to solve problems and advance scientific discovery for all.
Founded in 2018 by professors of Yale University and Columbia University, CertiK is a pioneer in blockchain security, utilizing best-in-class AI technology to secure and monitor blockchain protocols and smart contracts. CertiK`s mission is to secure the cyber world. Starting with blockchain, CertiK applies cutting-edge innovations from academia into enterprise, enabling mission-critical applications to be built with security and correctness. CertiK is one of the fastest growing and most trusted companies in blockchain security and has become a true market leader. To date, we have collectively worked with over 2500 enterprise clients, helped secure over $310 billion worth of digital assets, and detected over 45,000 vulnerabilities in blockchain code. Our clients include leading projects such as Aave, Polygon, Binance Smart Chain, Terra, Yearn, and Chiliz. CertiK just raised over $140 million and backed by Coatue, Tiger Global, Sequoia, and Hillhouse Capital.
Florida WebDesign is a Jacksonville, FL-based company in the Software and Internet sector.
Acard technology is a Placentia, CA-based company in the Software and Internet sector.
strongDM`s infrastructure access network gives businesses confidence in their access and audit controls at scale. Adopted by companies ranging from the Fortune 500 to fast-growing businesses like Peloton, SoFi, and Betterment, strongDM gives infrastructure teams the convenience, visibility and control they need, without those controls getting in anyone`s way. strongDM is based everywhere and backed by Sequoia Capital and True Ventures.