Curriculum Vitae
Skills
Programming
Languages
C++, Haskell, Java, JavaScript, PHP, Pascal
CSS, HTML/XHTML, LATEX
Integrated Development Environments
Eclipse
Testing
JUnit
Systems
Operating Systems
Linux (main OS since 2002), Windows
Revision control
Bazaar, CVS, Gnu arch, monotone, perforce, unison
Content Management Systems
Drupal, MoinMoin
Verification Systems
Forte – academic version provided by Intel
Languages
German, mother-tongue
English, excellent written and verbal skills