Enric es licenciado en matemáticas y doctor en informática por la UPC. Es profesor Contratado Doctor en la UPC desde 2012. Enric ha trabajado en aplicaciones a SMT de la programación lineal y otras técnicas de investigación operativa, y es co-autor de los premiados sistemas Barcelogic para SAT y SMT.
