:o)

M. Oliver Möller

 Alter:  51 Jahre
 Lebenslauf:  html, pdf, ps.gz, doc
 Profil:  html, pdf, ps.gz, doc
US 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>
Sie können auch meinen PGP 2.6.3in key oder eine Java Verschlüsselung verwenden.
Valid HTML 4.01! Valid CSS! counter created on 25 March 2002
webmaster - Last modified: Sat Jun 24 11:21:34 2023