Here is a small selection of professional and personal projects that I have been working on:

• Research
  Brief overview of my scientific research, with a focus on logic and applications.
• ProverBox
  Comprehensive logic software featuring a modular architecture with plugin system and a modern UI with integrated editor and visualization capabilities.
• RLC Circuit (in German)
  Java applet for the simulation of a harmonic oscillation with damping in an electrical RLC circuit.
• Conference on "Social Responsibility of Enterprises" (in German)
  A conference of the German National Merit Foundation that I have co-organized and for which I have created a conference website and a conference CD-ROM.