Deutsche Version

Hendrik Tews


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

Contact Info

You can find me at

Kernkonzept office
Buchenstr. 16b, 01097 Dresden
phone: +49 351 41883222

Eisenacher Straße 19, 01309 Dresden
Phone: +49 351 8745389

Teaching Science Software Miscellaneous

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

last modified on 20 Feb 2017 by Hendrik