Technical advisor & founder
Albert has a M.S. in Mathematics and a PhD in Computer Science, both from UPC. He is associate professor at UPC since 2012. Albert is a well-known expert SAT, MaxSAT and SMT techniques, in particular as a co-author of DPLL(T) method. His research includes fundamental theoretical questions, the development of tools for SAT, MaxSAT abd SMT and their wide applications in the industry.