Dr. Klaus Winkelmann
Freiberuflich, Consultant, myself
Riemerling, Deutschland
Werdegang
Berufserfahrung von Klaus Winkelmann
Bis heute 4 Jahre und 4 Monate, seit März 2020
Consultant
myself
4 Jahre und 9 Monate, Juli 2012 - März 2017
System Professional
Berner & Mattner Systemtechnik GmbH
FMEA, Functional Safety, Safety Concepts, Requirement Engineering, Control system hw and sw concepts, automotive, microcontrollers
1 Jahr und 4 Monate, März 2011 - Juni 2012
Verification Expert
self-employed
7 Monate, März 2011 - Sep. 2011
Verification Consultant
Self-employed
Verification & certification of safety-critical microcontroller design
3 Jahre und 8 Monate, Juli 2007 - Feb. 2011
Product Manager
OneSpin Solutions
Responsible for product roadmap and product definition of the OneSpin 360 MV product line, a formal verification tool: product test, release planning, alignment with R&D and sales, user documentation, release notes, training materials
2 Jahre und 3 Monate, Apr. 2003 - Juni 2005
Project Leader
Infineon AG
Responsible for application engineering in functional formal verification: verification several communication SoCs (systems on chip): SGOLD, USB, crypto processors. Successful positioning of the CVE group, which later became OneSpin Solutions, as a well-accepted service partner of Infineon Technologies AG
18 Jahre und 9 Monate, Juli 1984 - März 2003
Principal Research Scientist
Siemens AG
Developped and applied formal techniques for design and verification of safety-critical and embedded systems
Ausbildung von Klaus Winkelmann
4 Jahre und 9 Monate, Sep. 1979 - Mai 1984
Computer Science
Friedrich-Alexander-Universität Erlangen-Nürnberg
Modelling of real-time operating systems
4 Jahre und 11 Monate, Sep. 1974 - Juli 1979
Mathematics
Edit Friedrich-Alexander-Universität Erlangen-Nürnberg
Discrete math, combinatorics
Sprachen
Deutsch
Muttersprache
Englisch
Fließend
Französisch
Gut
Spanisch
Grundlagen
Griechisch
Grundlagen