Hetz Ventures — 2025 Investments
5 investments dated 2025 · listed companies and verified rows first · show all
Flox provides tooling to manage software and its dependencies down to individual packages, including SBOMs and provenance, with reproducible environments that work across the software lifecycle.
AI & Machine LearningCloud ComputingCybersecurityDeveloper ToolsEnterprise SoftwareNew York City, US
Ron Efroni Rotman(Executive Officer, Director)Michael Brantley(CTO)inRon Efroni(CEO)inBen Futoriansky(Executive Officer)in
BoardAaron Jacobson(Director)in
Board seatPavel Livshiz· per SEC Form D
Co-investorsNew Enterprise Associates (NEA)Angel Collective Opportunity FundEssence Venture CapitalFirestreak VenturesMaximilian StoiberTilia Impact Ventures+6 more
Formel.ai combines generative AI with formal methods (mathematical verification) to build large language models that provide logical consistency guarantees, enforceable constraints, and full traceability for enterprise use cases including document auditing and compliance verification.
AI & Machine LearningDeep TechEnterprise Software
Sylvain(Co-founder)inAntoine(Co-founder)in
Co-investorsAgoranovCherry VenturesHeal CapitalHeartcore CapitalSingularVorwerk Ventures
Identity Digital is a domain registry and registrar services company that manages top-level domains (TLDs) and operates Name.com, a registrar offering domain registration, email management, and website hosting.
Cloud ComputingEnterprise SoftwareSaaS
Paul Stahura(Founder)inDaniel Schindler(Founder)Jonathon Nevett(Founder)Richard Tindal(Founder)
Co-investorsBCIAccelAmigos Venture CapitalCrosspoint Capital PartnersCRV (Charles River Ventures)Cyberstarts+8 more
CybersecurityDeep TechDigital HealthHealthtechIoT
BoardDavid Millstone(co-CEO of Standard Industries and co-CIO of Standard Investments)
Co-investorsStandard InvestmentsBlumberg CapitalForgePoint CapitalMaor InvestmentsPartech VenturesUS Venture Partners+7 more
Tonic Security builds an Agentic Continuous Threat Exposure Management (CTEM) platform that ingests and reconciles signals from security, IT, cloud, identity, and collaboration systems into a Security Knowledge Graph, using AI agents to maintain a living model of an organization's exposure landscape.
AI & Machine LearningCybersecurityEnterprise SoftwareSaaS
Co-investorsBullet VenturesRepsol Energy Ventures
Rows marked “SEC filing” are inferred from directors named on the company's SEC Form D — public regulatory data, not a portfolio list published by the firm.




























