|
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
|