History

Research

09.2010 – 03.2011: Project Assistant, Chalmers University of Technology

Studies

10.2009 – 03.2012: Master Computer Science, Kaiserslautern University of Technology
10.2006 – 09.2009: Bachelor Computer Science, Kaiserslautern University of Technology

Teaching & Research Assistance

10.2011 – 02.2012: TA for Entwurf und Analyse von Algorithmen
04.2011 – 07.2011: TA for Specification and Verification with Higher Order Logic
04.2011 – 07.2011: TA for Formale Grundlagen der Programmierung
04.2010 – 08.2010: Translation and setting of lecture notes (AG Algorithmen und Komplexität)
04.2010 – 07.2010: TA for Formale Grundlagen der Programmierung
10.2009 – 02.2010: TA for Entwurf und Analyse von Algorithmen
04.2009 – 07.2009: TA for Formale Grundlagen der Programmierung
10.2008 – 02.2009: TA for Softwareentwicklung I
04.2008 – 03.2009: Java Programming (AG Softwaretechnik)
04.2008 – 07.2008: TA for Formale Grundlagen der Programmierung
10.2007 – 02.2008: TA for Softwareentwicklung I

Honorary Work

10.2008 – 04.2010: Student member in Fachausschuss für Studium und Lehre
04.2008 – 03.2009: Organisation of handball training
05.2007 – 04.2010: Member of department’s Fachschaftsrat