Hendrik Radke

Room: A02 2-207
Phone: (04 41) 798-4489
Fax: (04 41) 798-2965
Email: hendrik.radkeuni-oldenburg.de
PhD Topic: Correctness of Graph Programs with Respect to Monadic Graph Conditions

Short CV

• Since 02/2009: PhD scholarship holder at DFG Graduate School TrustSoft
• 2002-2008: Studies of Computer Science at Universität Potsdam
• 2001/2002: Civil Service
• 2001: Abitur at Marie-Curie-Gymnasium Ludwigsfelde