I am
I am PhD student at the Universität des Saarlandes and I am currently working in the OMEGA group in the SFB 378. In 2005, I got my diploma in computer science (which is equivalent to a master's degree), the title of my thesis is "On the White Box Integration of Computer Algebra Algorithms into a Deduction System".

Skills
Programming: Lisp, OCaml, Java, PHP, HTML and Mozart
Other: Video, audio and image processing, Flash

Languages
German (native), English, French, Portuguese