Bio | Bio
Langjährige Erfahrung in der Entwicklung von tief eingebetteten Systemen für die Automobilindustrie.
Sicherheitsarchitekt für solche Produkte (ECUs).
Mit einiger Forschungserfahrung in den formalen Verifikationsmethoden der Hybrid (dynamics) Systems.