| Name | Title | Contact Details |
|---|
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.
Since 2011, AddShoppers has created and acquired digital assets that save shoppers time and money. Here at AddShoppers, it is our vision to be a trusted digital commerce platform for brands and shoppers; known for creating delightful experiences that save people time and money. Our products, Minty and SafeOpt, help eCommerce brands attract and recover lost shoppers to their sites. Shop smarter with:
NCISP is a Clayton, NC-based company in the Software and Internet sector.
BranCore Technologies is a Richmond, VA-based company in the Software and Internet sector.
Puppet Labs, Inc. provides information technology (IT) automation software solutions for system administrators. It offers Puppet Enterprise, an IT automation software that enables system administrators to automate repetitive tasks, deploy critical applications, and manage infrastructure on-premises or in the cloud. The company also provides Puppet Open Source, a customizable framework to help system administrators automate the repetitive tasks they perform; and Puppet Forge, a repository of modules for Puppet Open Source and Puppet Enterprise IT automation software. In addition, it offers certification, support, training, events and public training, and professional services. Further, the company provides configuration management, VMware, cloud management, IT compliance, DevOps, and OS X Desktop solutions. It serves various individuals and organizations. Puppet Labs, Inc. was formerly known as Reductive Labs, Inc. and changed its name to Puppet Labs, Inc. in March 2010. The company was founded in 2005 and is based in Portland, Oregon.