Mit der Formal Mind GmbH ist im Juli 2011 eine neue Ausgründung der Heinrich-Heine-Universität Düsseldorf an den Start gegangen. Das Spin-off aus der Informatik entwickelt innovative Produkte und maßgeschneiderte Dienstleistungen aus dem Bereich der Softwaretechnik und der IT-basierten Systementwicklung. Das Gründerteam besteht aus Prof. Dr. Michael Leuschel, Leiter des Lehrstuhls für Softwaretechnik und Programmiersprachen, Michael Jastram, Mitarbeiter des Lehrstuhls und Initiator von Formal Mind, sowie den beiden Doktoranden Daniel Plagge und Jens Bendisposto.

Die Gründer von Formal Mind nutzen dabei die Software-Werkzeuge ProB und ProR, die sie am Lehrstuhl für Softwaretechnik und Programmiersprachen als OpenSource-Projekte entwickelt haben, um Automatisierungsprozesse sowie Analyse- und Validierungstechniken umzusetzen. Industrie-relevante Aufgabenstellungen können so mit weniger Personalaufwand gelöst und durch den Einsatz von lizenzfreier OpenSource-Software kostengünstiger realisiert werden.

Relevanz für die Industrie

Im Bereich der Automobilindustrie optimiert das Düsseldorfer Start-up den standardisierten Austausch von Anforderungs-profilen zwischen Fahrzeugherstellern und seinen Zuliefern. Im Bereich der Personenbeförderung bzw. im Transportation-Bereich hilft Formal Mind bei der Entwicklung sicherheitskritischer Systeme, beispielsweise für Zugsteueranlagen oder Bahnsteig-Türsysteme.

Dass die Technologien Relevanz haben, lässt sich am Kundenstamm der jungen Firma erkennen, die Firmen wie Alstorm, Clearsy und die Universität Newcastle zu ihren Kunden zählt, um nur einige zu nennen.

Brücke zwischen Wissenschaft und Wirtschaft

„Formal Mind schlägt die Brücke zwischen Wissenschaft und Wirtschaft. Über unsere anwendungsrelevante Forschung am Informatik-Lehrstuhl haben wir bereits intensive Industriekontakte aufgebaut, die wir jetzt für unsere Ausgründung nutzen können“ erklärt  Lehrstuhl-Inhaber und Mitgründer Prof. Dr. Michael Leuschel.

Unterstützt wurde das neue Spin-off der HHU durch die gemeinsame Transferagentur von Universität und Stadt Düsseldorf, die Düsseldorfer Innovations- und Wissenschaftsagentur (DIWA GmbH). „Die intensive Betreuung durch die DIWA hat uns in der Gründungsphase viel geholfen. Gerade als Akademiker braucht man einfach eine professionelle Unterstützung bei der Entwicklung des Businessplans“ so der frischgebackene Geschäftsführer Michael Jastram.

Die jüngst als „Gründerhochschule“ ausgezeichnete Universität Düsseldorf unterstützt dabei ihre neue Ausgründung nach allen Kräften. So kann Formal Mind während der Startphase des Unternehmens noch Räumlichkeiten und Infrastruktur am Institut nutzen und sich damit ganz auf den Aufbau ihrer Geschäftsprozesse konzentrieren.

Kontakt
Michael Jastram
Formal Mind GmbH
Universitätsstr. 1
Gebäude 25.12.02.52
40225 Düsseldorf

Telefon:  +49 162 274 8394
info@formalmind.com
www.formalmind.com