Hier findet sich eine kleine Auswahl an beruflichen und privaten Projekten, an denen ich arbeite bzw. gearbeitet habe:

• Forschung
  Kurzer Überblick über meine wissenschaftliche Forschung, vor allem im Bereich Logik und Anwendungen.
• ProverBox
  Umfangreiche Logik-Software mit modularer Architektur und Plugin-System sowie moderner Benutzeroberfläche mit integriertem Editor und Visualisierungsmöglichkeiten.
• Elektromagnetische Schwingung
  Java-Applet zur Simulation eines gedämpften elektromagnetischen Schwingkreises.
• Tagung "Gesellschaftliche Verantwortung von deutschen Unternehmen"
  Kurztagung der Studienstiftung des deutschen Volkes, für die ich als Mitglied des Organisationsteams die Tagungshomepage und eine multimediale Tagungs-CD erstellt habe.