8 June, 2016

Albert Oliveras

albert

Consejero técnico y fundador

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, MaxSAT 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, MaxSAT y SMT, con amplias aplicaciones a nivel industrial.