Here is a small selection of professional and personal projects that I have been working on:
Brief overview of my scientific research, with a focus on logic and applications.
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.