 |
|
|
M. Oliver Möller | |
| Alter: | 51 Jahre |
| Lebenslauf: | html, pdf, ps.gz, doc |
| Profil: | html, pdf, ps.gz, doc |
 English version
|
Willkommen bei www.verify-it.de
Dieses Domain beherbergt mein berufliches Profil. Außerdem enthält es verschiedene andere Ressourcen, die ich verfügbar machen will.Meine Ausbildung als Diplom-Informatiker an der Universität Ulm schloss ich im März 1998 ab. Im April 2002 promovierte ich in der internationalen PhD-Schule BRICS, Dänemark. Inzwischen arbeite ich in Deutschland bei der Firma Verified Systems International GmbH in Bremen im Bereich System-Test und Software-Verifikation.
Meine Expertise konzentriert sich auf
- formale Methoden
Methodik, Mathematische Grundlagen, Einbindung in Modellierungssprachen wie etwa die UML - Verifikation
Logik-basierte Spezifikation, automatisiertes Theorem-Beweisen, Model-Checking - Echtzeitsysteme
zeitkritische Systeme, Garantien für Deadlines, eingebettete Systeme
Link Listen
Kontakt
- Email: <expert@verify-it.de>
|
|
|