Dr. David Schrittesser

member of the Bonn mathematical logic group