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.