Formale Methoden sind ein zentraler Bestandteil unserer Arbeit, und wir versuchen, die Welt systematisch zu formalisieren. Das Nirvana der formalen Methoden ist die Formalisierung des Bewustseins, wie es von Visionären wie Hofstadter oder Minsky ausgemalt wird.
Unternehmen
Formal Mind sieht sich als Vermittler zwischen Wissenschaft und Wirtschaft, und ist eine Ausgründung der Heinrich-Heine Universität Düsseldorf. Die Basis unserer Arbeit sind die zwei OpenSource-Produkte ProB und ProR, die das Arbeiten mit Anforderungen und formalen Spezifikationen leichter und effizienter machen.
Geschäftsleitung |
|
|
Prof. Dr. Michael Leuschel ist der Leiter der Forschungsabteilung von Formal Mind. Er ist weiterhin Leiter der Arbeitsgruppe für Softwaretechnik und Programmiersprachen im Fachbereich Informatik an der Heinrich-Heine Universität Düsseldorf. Er ist der Urheber der Validierungs-Plattform ProB. |
|
| Dr. Michael Jastram ist Geschäftsführer und verantwortlich für Marketing und Vertrieb. Er ist der Urheber der ProR Plattform für Anforderungsmanagement. Er ist Projektleiter und aktiver Committer im Eclipse RMF Projekt. |
|
Team |
|
|
Jens Bendisposto, M.Sc. ist Principal Computer Scientist und verantwortlich für Personal. Er ist Experte für formale Methoden und Doktorand in der Informatik (vorauss. Abschluss 2012). |
 |
|
Dipl.-Inf. Daniel Plagge ist Principal Computer Scientist, Experte für formale Methoden und ebenfalls Doktorand in der Informatik (vorauss. Abschluss 2012). Der Schwerpunkt seiner Arbeit ist die Validierung formaler Modelle. |
|
|
Lukas Ladenberger, M.Sc. ist Computer Scientist und arbeitet als Software Architekt. Er ist ebenfalls Doktorand der Informatik. Seine Bachelor- und Masterarbeiten befassten sich mit formalen Methoden. Er entwickelte BMotion Studio, einen grafischen Editor zur Visualisierung von formalen Modellen. Er ist aktiver Committer im Eclipse RMF Projekt. |
 |