Formal Mind is a spin-off company from the Heinrich-Heine University of Düsseldorf bringing innovative research to the market.  With Prof. Dr. Michael Leuschel as a partner, Formal Mind will gain continuous input from academica that we will evaluate for our customers.

Our customers already use two of our software tools.  These tools, ProB and ProR (see tools), have their roots in academia.  As a firm, we have the resources to tailor these tools to meet the needs of our customers or to extend them.

Research Projects

We are also capable of and interested in participating in research projects with other organizations in both the academic and commercial fields.