Deutsche Version

Hendrik Tews

picture

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
email: Hendrik.Tews@Kernkonzept.com

home
Eisenacher Straße 19, 01309 Dresden
Phone: +49 351 8745389
email: hendrik@askra.de


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