Un grupo de científicos en computación se encuentran desarrollando un proyecto enfocado en la aplicación de técnicas de verificación formal de software para sistemas críticos en el campo de la producción de reactores nucleares en INVAP S.E.
Al respecto, Carlos López Pombo, Doctorado de la Universidad de Buenos Aires con orientación en informática, licenciado en ciencias de la computación, e investigador del CONICET y docente de la Universidad Nacional de Río Negro.