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.
Näheres hier: http://141.57.26.99/pil-website/html/geser/home.html
Seit Mai 2008 bin ich als Autor für Wikipedia tätig.
Vertrauensseite: [1]