Formal Mind bridges the gap between science and industry and is a spin-off of the Heinrich Heine University of Düsseldorf. Our company’s foundation is comprised of promising technologies rooted in research that has the potential of becoming industry-strength products. Our showcase technology is ProR, which became an Eclipse Foundation project. ProR also quickly became the reference implementation of the open ReqIF standard and is now used in industry.


Dr. Michael Jastram is the general manager and responsible for marketing and sales.  He is the original creator of the ProR requirements engineering platform.  He is the project lead and an active committer in the Eclipse RMF project.

Partner Organizations

Formal Mind has affiliations with the following Organizations:

  • Eclipse Foundation – Project Lead of the Eclipse Requirements Modeling Framework
  • GfSE – Member and participant of the German chapter of INCOSE
  • Jama Software – Solution Architecture Services