Akadio, Inc

The HDF Group, located in Champaign, IL, is a non-profit organization dedicated to ensuring efficient and equitable access to science and engineering data across various platforms and environments. Leveraging over 25 years of experience, they develop and maintain the HDF5 technology suite, which is renowned for solving complex data management challenges globally. In addition to their software offerings, The HDF Group provides a range of services, including consulting, training, and priority support, all designed to enhance the user experience within the expansive HDF ecosystem. Their commitment to advancing technology is evident through initiatives such as the weekly HDF Clinic, where experts share insights and address community inquiries. Generated from the website

Illinois Rocstar LLC is a technology company based in Champaign, IL, specializing in innovative solutions for a variety of industries. With a focus on research and development, Illinois Rocstar LLC offers cutting-edge software and engineering services to meet the unique needs of its clients. Generated from their business information

Runtime Verification Inc, based in Champaign, IL, specializes in enhancing security strategies through formal verification and smart contract auditing. Their rigorous approach goes beyond traditional code reviews, employing advanced verification tools to mathematically prove or disprove key properties, thereby eliminating vulnerabilities often overlooked in standard audits. The company also develops open-source security tools tailored for blockchain audits, reflecting their commitment to the open ethos of Web3. Their suite of tools includes Kontrol, Simbolik, and KaaS, designed to empower developers with cutting-edge solutions for formal verification, debugging, and fuzzing. Generated from the website