Fundraising FoxIQ Capital — 2019 Investments
2 investments dated 2019 · listed companies and verified rows first · show all
Imandra builds CodeLogician, a neurosymbolic AI tool that translates source code into formal mathematical models to prove code properties, find bugs, and generate test cases.
AI & Machine LearningDeep TechDeveloper ToolsFintechAustin, US
Grant Passmore(Cofounder & Co-CEO)inDenis Ignatovich(Cofounder & Co-CEO)inKrishna Srinivasan(Director)
Co-investorsAlbionVCAnthemis VentureGreen Visor Capital
Other
Tracked investments with no reachable website or further public details — typically companies that wound down, renamed, or were absorbed.
Dataswyft
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.