Fundraising FoxHalcyon Futures Investments — Full Portfolio
3 tracked investments · listed companies and verified rows first
Red Queen Bio builds an AI-powered biodefense system that rapidly designs and manufactures countermeasures against emerging biological threats, enabling faster defensive responses to evolving pathogenic risks.
AI & Machine LearningBiotechDefense Tech
Hannu Rajaniemi(Executive Director)inNikolai Eroshenko(CEO)in
Co-investorsCompoundLongeVCThe Venture CollectiveCerberus VenturesFifty Years
Robocurve develops open-source tools and benchmarks for evaluating the real-world capabilities of AI systems and robots.
Advanced ManufacturingAI & Machine LearningDeep TechHardwareRoboticsSan Francisco, US
Jay Chooi(Founder)inAris Zhu(Founder)in
Co-investorsPioneerY CombinatorAcephale VenturesCapitalize VCDecasonicDoomers Media LLC+10 more
Theorem.dev provides verified software engineering through lf-lean, an AI-powered translation tool that converts formal mathematical proofs from Rocq to Lean significantly faster than manual translation.
AI & Machine LearningDeveloper ToolsEnterprise SoftwareSan Francisco, US
Jason Gross(Founder)inRajashree Agrawal(Founder)in
Co-investorsY CombinatorBatch VenturesEight CapitalFAST — by GETTYLABHalcyonKhosla Ventures+3 more
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.