Benutzer:AlfonsGeser

Servus! Ich bin Professor für Angewandte Informatik am Fachbereich Elektrotechnik und Informationstechnik der HTWK Leipzig.

Meine Forschungsinteressen liegen bei Termination von Termersetzungssystemen und dem praktischen Einsatz von Theorembeweisern zur Qualitätssicherung, insbesondere in fehlertoleranten Systemen.