Munich Area, Germany
Software Engineer, Tools and Infrastructure at Google
Computer Software
Education
Aarhus University 2007 — 2010
Ph.D., Computer Science
TU Darmstadt 2000 — 2007
Diplom, Computer Science
Albert-Schweitzer-Schule Alsfeld 1990 — 1999
A-levels
Experience
Google August 2015 - Present
Google May 2013 - July 2015
CSC Scandihealth January 2011 - March 2013
Aarhus University (Denmark) February 2008 - July 2010
TU Darmstadt April 2007 - January 2008
vrcom GmbH September 2001 - March 2007
Skills
Software Verification, C#, Coding Standards, C/C++ STL, Formal Methods, Tomcat, Scheme, JUnit, Checkstyle, Java, Eclipse, HL7, JMock, Dynamic Analysis, Subversion, Generic Programming, XML, Software Analysis, Data Structures, HTML, UML, ebXML, Extreme Programming, C, XSLT, EJB, XSL, Refactoring, XPath, Maven, Computer Science, EDIFACT, Static Analysis, Model Checking, Test Automation, Software Development, Distributed Systems, WSDL, JPA, Weblogic, Ruby