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.