Helmut Schwichtenberg is an Emeritus Professor of Mathematics at Ludwig-Maximilians-Universitat Munchen. He has recently developed the 'proof-assistant' MINLOG, a computer-implemented logic system for proof/program development and extraction of computational content.
