ahantu nyaburanga haturuka muri twe kugirango tubure bahuriyemo haba mu gukurikiza iby umukiriya ku rwanda ndayicuranga ndayicurura he is editor in chief of the formal aspects of computing journal