so i just promised myself that i would not be set in my ways ataretse kuba umunyarwanda hehner's main research area is formal methods particularly for programming during this period zaisser became an active communist