Roland Lezuo

Pioneer of casm, software verification and scalable translation validation specialist