Hendrik Tews

Currently I am working on the Robin project on the verification of systems level code.

Event(s)

I am co-organising the Workshop on C/C++ Verification, colocated with IFM 2007 in Oxford, UK, 2nd-6th of July.
2nd Robin midyear meeting

You can find me at

office	Room HG02.071 Heyendaalseweg 135, Nijmegen Phone: +31 24 3652217 Fax: +31 24 3652298 e-mail: tews@cs.ru.nl snail mail: Postbus 9010; 6500 GL Nijmegen

home	Wolfskuilseweg 94 6542 JM Nijmegen Phone: +31 24 3777536

Wissend, daß Wissende niemals etwas gegen den drohenden Untergang ihrer Kultur/Zivilisation haben ausrichten können.

Christa Wolf

last modified on 19 Jan 2009 by Hendrik