Computer Engineer from UDELAR and Doctor of Computer Science from École Normal Supérieure de Lyon (France).
His areas of expertise are IT security and formal methods applied to software validation. He developed most of his professional career in France, first as a computer researcher at ENS-Lyon and the Institut de Recherche in Informatique et Automatique (INRIA), and then in the smart card industry, where he was responsible for security certifications IT products in the company Trusted Logic. In 2008 he established himself in Uruguay, as Director of Information Security and manager of the Outsourcing Business Unit of Tilsor S.A. and postgraduate teacher at the UDELAR School of Engineering. Currently, it is part of the ICT4V Executive Committee, an ICT technology center financed by ANII and several Uruguayan private companies that seeks to promote joint activities between academia and industry. Within ICT4V, it participates in innovation projects related to information security and privacy, massive data and machine learning. It also supports the activity of several of the ICT4V Working Groups, including the GT Blockchain.