Warning: file_get_contents(/home/barcelog/public_html/wp-content/plugins/themeisle-companion/vendor/codeinwp/themeisle-content-forms/composer.json): failed to open stream: No such file or directory in /home/barcelog/public_html/wp-content/plugins/themeisle-companion/vendor/codeinwp/themeisle-content-forms/load.php on line 64

Albert es licenciado en matemáticas y doctor en informática por la UPC. Es profesor Contratado Doctor en la UPC desde 2012. Albert es un reconocido experto en técnicas para SAT, Max-SAT y SMT, donde descata por ser co-autor del método DPLL(T). Su investigación abarca desde cuestiones fundamentales teóricas hasta el desarrollo de herramientas para SAT, Max-SAT y SMT, con amplias aplicaciones a nivel industrial.