![[current-page:title] logo](/sites/default/files/styles/logo/public/default_images/_no-logo.png?itok=8OH0tuUw){kind=logo}
Corporate information
Company type
Formal verification methods to develop scalable and automated analyses of software, guaranteeing safety and fairness for critical applications.Funding rounds
Investment activity status
Active investor
Check whether your company is in the KANDO database by typing its name in the search box
If your company is not in the database, create an account and, once logged in, add it by selecting "Add" > "Add company" in order to create a profile.
If your company is not in the database, you can add it by selecting "Add" > "Add company" in order to create a profile. (You need to be logged in to do this.)
After you have created your company profile, click on the "Find investors" button to generate a list of investors for it.
Open the company profile which you have created, and click on the "Find investors" button under the logo to generate a list of investors for it.
Open the company profile, and click on the "Find investors" button under the logo to generate a list of investors for it.
Once our AI has generated your investor list, click on "My projects" to see it.
Once our AI has generated your investor list, click on "My projects" menu item to see it.