Pressemitteilung als PDFWe want to share our latest insights regarding formal methods and requirements as well as the latest developments regarding our OpenSource tools, ProB and ProR. We will post new information roughly twice a month, so you won't be overwhelmed. You can either subscribe via email (below), subsribe to our RSS Feed or visit this page.
Formal Mind GmbH gegründet
Submitted by Michael Jastram on Tue, 08/09/2011 - 00:00
|
Michael Jastram and Michael Leuschel |
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.