Gerhart David Wiebe

• The program analyzer