In his day life, he writes C and C++ code for the SPASS theorem prover at the Max Planck Institute for Computer Science, in Saarbrücken, Germany. At night, he turns into a Kaffe and GNU Classpath developer, and helps move Java ahead.