however the board did not immediately remove eisner as chief executive nzi ko unyumva uzi ko ndumva he specializes in research into domain engineering requirements engineering and formal methods