Deutsche Version

Hendrik Tews


I am responsible for the certification of the L4Re runtime environment and for the application of formal methods at Kernkonzept.

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 23 Feb 2024 by Hendrik