I am responsible for the certification of
the L4Re runtime environment and
for the application of formal methods
at Kernkonzept.
(Before, I worked as formal methods architect
at FireEye in Dresden
until FireEye decided to shut down our office in August 2016.)
You can find me at
Kernkonzept office |
Buchenstr. 16b, 01097 Dresden phone: +49 351 41883222 email: Hendrik.Tews@Kernkonzept.com |
home |
Eisenacher Straße 19, 01309 Dresden Phone: +49 351 8745389 email: hendrik@askra.de |
Wissend, daß Wissende niemals etwas gegen den drohenden Untergang ihrer Kultur/Zivilisation haben ausrichten können.
[Knowing that knowledgable people have never been able to do anything against the impending demise of their civilization.]
Christa Wolf